Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes

Abstract

Use of verification for testing and debugging of complex reactive systems p. 13 Experimental evaluation of FSM-based testing methods p. 23 Putting detectors in their place p. 33 Timed automata with data structures for distributed systems design and analysis p. 44 Operational semantics for real-time processes with action refinement p. 54 Specifying urgency… (More)
DOI: 10.1109/SEFM.2005.51

Topics

Statistics

02040'05'07'09'11'13'15'17
Citations per Year

111 Citations

Semantic Scholar estimates that this publication has 111 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics