2520 search results - page 112 / 504 » Model-checking behavioral programs |
NCA
2010
IEEE
14 years 7 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
118
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
87
Voted
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
122
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
89
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...