1992 search results - page 119 / 399 » Model Based Testing with Labelled Transition Systems |
140
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
176
Voted
APWEB
2011
Springer
14 years 7 months ago
2011
Springer
Host compromise is a serious security problem for operating systems. Most previous solutions based on integrity protection models are difficult to use; on the other hand, usable i...
146
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
125
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
139
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...