3387 search results - page 360 / 678 » Model-Checking for Real-Time Systems |
188
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
222
Voted
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
225
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
156
Voted
RTCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
182
click to vote
ENTCS
2006
15 years 7 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...