215 search results - page 4 / 43 » Toward Verified Execution Environments |
MEMOCODE
2003
IEEE
14 years 26 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
ASE
2008
13 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
PARELEC
2002
IEEE
14 years 15 days ago
2002
IEEE
Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is poss...
ESM
2000
13 years 9 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...