Login / Signup

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.

Alessio LomuscioT. LasicaWojciech Penczek
Published in: FAABS (2002)
Keyphrases
  • bounded model checking
  • distributed systems
  • data sets
  • search algorithm
  • management system
  • building blocks
  • real world
  • search engine
  • database systems
  • expert systems
  • retrieval systems
  • experimental data