25 search results - page 4 / 5 » A verification system for timed interval calculus |
RTSS
2009
IEEE
14 years 2 days ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
DFG
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
ENTCS
2008
13 years 5 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
COORDINATION
2009
Springer
14 years 5 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...