453 search results - page 7 / 91 » Using Symbolic Simulation for Bounded Property Checking |
158
click to vote
ATVA
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
171
click to vote
ICFEM
2010
Springer
15 years 4 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...
181
Voted
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
176
click to vote
ICSOC
2007
Springer
15 years 12 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
170
Voted
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...