150
click to vote
VMCAI
15 years 11 months ago
2010 Springer 
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
131
Voted
VMCAI
15 years 11 months ago
2010 Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
158
Voted
VMCAI
15 years 11 months ago
2010 Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
130
Voted
VMCAI
15 years 11 months ago
2010 Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
122
click to vote
VMCAI
15 years 11 months ago
2010 Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
|
Software Engineering