Awesome Open Source

Programming Languages

Search results for safety model checking

model-checking x

5 search results found

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998

Distributed termination detection on a ring, due to Shmuel Safra:

Itstools ⭐ 20

A multi-formalism, multi-solution model-checker centered on the language GAL

symbolic reachability checker

Multiparty Session Types toolKit

1-5 of 5 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.