87 search results - page 18 / 18 » Maintenance of Transitive Closures and Transitive Reductions... |
CSL
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
ICSE
2001
IEEE-ACM
13 years 10 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...