6 ms·
Interesting read. I’ve tried Alloy and Dafny for verification before. Seeing how this integrates with real code would be useful. Does it handle concurrency or j
by sdotdev 1y ago
Interesting read. I’ve tried Alloy and Dafny for verification before. Seeing how this integrates with real code would be useful. Does it handle concurrency or just sequential logic?
- jayaprabhakar 1y agoThanks a lot. It does handle concurrency. https://fizzbee.io/testing/tutorials/quick-start/#parallel-tests https://fizzbee.io/testing/tutorials/quick-start/#parallel-t... Sequential logic is generally easier to test (also concurrency testing of linearizable systems). FizzBee specification language is created primarily to express concurrent behavior of non-linearizable systems - like eventual consistency, etc.