102 search results - page 1 / 21 » Terminator: Beyond Safety |
CAV
2006
Springer
13 years 8 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
EDBT
2004
ACM
14 years 4 months ago
2004
ACM
In this paper, we study the safety guarantees of group communication-based database replication techniques. We show that there is a model mismatch between group communication and ...
POPL
2005
ACM
14 years 4 months 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...
HCI
2009
13 years 2 months ago
2009
In factory automation (FA) industry, it is essential for the working environment using industrial robots to be provided with measures that assure operator's safety and good us...
WSC
2004
13 years 5 months ago
2004
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...