|
|
|
|
|
|
by jayaprabhakar
520 days ago
|
|
|
Have you tried FizzBee.io? It has a python-like syntax. Take a look at the example.
https://fizzbee.io/examples/two_phase_commit_actors/#complet... Formal methods don't have to be complex. The issue is, most formal methods are designed as an academic exercise to demonstrate a specific topic the professor was interested in. (Or TLA+, that was designed specifically for writing papers) |
|
|