1980 search results - page 179 / 396 » Compositional Model Checking of Real Time Systems |
127
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
132
click to vote
CMMR
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...
134
click to vote
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
107
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...