6 search results - page 2 / 2 » Inessential Features, Ineliminable Features, and Modal Logic... |
SCP
2010
13 years 3 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...