Explore by keyword
2 plugins use this word, from 2 publishers.
Popili formal verification and code intelligence for the Coco language
Model your whole program in TLA+, with each spec beside the code it describes, checked by tla-ts. Then simplify the…
