3387 search results - page 12 / 678 » Model-Checking for Real-Time Systems |
136
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
153
Voted
MAM
2008
15 years 5 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
131
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
158
Voted
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...