185
click to vote
IFM
15 years 10 months ago
2004 Springer 
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
177
click to vote
FORMATS
15 years 8 months ago
2004 Springer 
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
176
click to vote
FMCO
15 years 10 months ago
2004 Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
172
click to vote
FORMATS
15 years 10 months ago
2004 Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
172
click to vote
FORMATS
15 years 10 months ago
2004 Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
|
Formal Methods