1980 search results - page 16 / 396 » Compositional Model Checking of Real Time Systems |
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
FM
2003
Springer
14 years 27 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
FSTTCS
2003
Springer
14 years 27 days ago
2003
Springer
