481 search results - page 57 / 97 » Model Checking Abstract State Machines and Beyond |
109
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
176
click to vote
TCOS
2008
15 years 4 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
112
click to vote
SENSYS
2006
ACM
15 years 10 months ago
2006
ACM
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...
145
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
140
click to vote
CEFP
2005
Springer
15 years 9 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...