422 search results - page 7 / 85 » Model Checking TLA Specifications |
103
Voted
PROMAS
2007
Springer
15 years 9 months ago
2007
Springer
126
Voted
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
104
Voted
TOPLAS
1998
15 years 3 months ago
1998
104
Voted
ISSE
2010
15 years 2 months ago
2010
144
Voted
ENTCS
2006
15 years 3 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...