575 search results - page 45 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
DIMACS
1996
13 years 9 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
TAPSOFT
1997
Springer
14 years 18 days ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...