136
click to vote
VMCAI
15 years 10 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...
123
click to vote
VMCAI
15 years 10 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...
145
click to vote
VMCAI
15 years 10 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...
123
click to vote
VMCAI
15 years 10 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...
116
click to vote
VMCAI
15 years 10 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