662 search results - page 92 / 133 » Model Checking Procedures for Infinite State Systems |
103
click to vote
MMB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
115
click to vote
SSS
2010
Springer
14 years 10 months ago
2010
Springer
Complex systems experience dramatic changes in behavior and can undergo transitions from functional to dysfunctional states. An unstable system is prone to dysfunctional collective...
112
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...