151 search results - page 31 / 31 » Predicate Abstraction in a Program Logic Calculus |
114
Voted
SCP
2010
14 years 10 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...