The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.
Home Page:https://syncfree.lip6.fr/index.php/2-uncategorised/51-cise
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool