31 search results - page 7 / 7 » Automated Analysis of Commitment Protocols Using Probabilist... |
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...