1980 search results - page 58 / 396 » Compositional Model Checking of Real Time Systems |
CAV
2009
Springer
15 years 6 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
104
click to vote
RT
1999
Springer
15 years 4 months ago
1999
Springer
: One of the most important goals of interactive computer graphics is to allow a user to freely walk around a virtual recreation of a real environment that looks as real as the wor...
115
click to vote
RTSS
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
IFIPTCS
2000
15 years 3 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...