82 search results - page 17 / 17 » LTL Model Checking for Security Protocols |
IANDC
2011
13 years 9 days ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
EUROSYS
2006
ACM
14 years 2 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...