105
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
98
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
105
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
110
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...
125
Voted
APN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...