arunaugustine

↗ HN profile [ 189 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Learn TLA+ (learntla.com)
  2. The abstract question I had: What to do when faced with this situation: I need to test a piece of software for logical correctness. But the computation is so complex that in order to generate the test cases and expected…