Login / Signup

Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction.

Nesrine HarrathBruno Monsuez
Published in: Int. J. Crit. Comput. Based Syst. (2014)
Keyphrases
  • formal verification
  • bounded model checking
  • model checking
  • model checker
  • automated verification
  • high level
  • formal semantics
  • symbolic model checking
  • artificial intelligence
  • temporal logic
  • program slicing