Login / Signup

Sysfier: Actor-based formal verification of SystemC.

Niloofar RazaviRazieh BehjatiHamideh SabouriEhsan KhamespanahAmin ShaliMarjan Sirjani
Published in: ACM Trans. Embed. Comput. Syst. (2010)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • model checker
  • symbolic model checking
  • bounded model checking
  • program slicing
  • functional verification
  • orders of magnitude