Login / Signup

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.

Omar InversoTruc L. NguyenBernd FischerSalvatore La TorreGennaro Parlato
Published in: ASE (2015)
Keyphrases
  • multi threaded
  • bounded model checking
  • formal verification
  • multithreading
  • multi core processors
  • information systems
  • orders of magnitude