81 search results - page 17 / 17 » Implementing Spi Calculus Using Nominal Techniques |
142
click to vote
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...