1895 search results - page 107 / 379 » Using ATL for Checking Models |
134
click to vote
JAR
2008
15 years 4 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
158
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
186
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
151
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
148
Voted
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...