726 search results - page 56 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
106
click to vote
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
102
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
119
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...