819 search results - page 53 / 164 » Using Assumptions to Distribute CTL Model Checking |
103
click to vote
ISORC
2002
IEEE
15 years 5 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
98
Voted
EUROSYS
2006
ACM
15 years 9 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...
121
Voted
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
208
Voted
POPL
2005
ACM
16 years 27 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
109
Voted
CADE
2007
Springer
16 years 27 days ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...