MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Flavio Lerda" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Distributed-Memory Model Checking with SPIN  
  • by Flavio Lerda, Riccardo Sisto — 1999 — In Proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN’99), volume 1680 of LNCS
  • …Distributed-Memory Model Checking with SPIN Flavio Lerda and Riccardo Sisto Dipartimento di…
  • Cited by 37 (1 self) – Add To MetaCart
  • A tool for checking ANSI-C programs  
  • by Edmund Clarke, Daniel Kroening, Flavio Lerda — 2004 — In Tools and Algorithms for the Construction and Analysis of Systems
  • …A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda Carnegie…
  • Cited by 69 (8 self) – Add To MetaCart
  • Understanding Counterexamples with explain  
  • by Alex Groce Daniel, Daniel Kroening, Flavio Lerda — 2004 — In Computer-Aided Verification
  • …Understanding Counterexamples with explain Alex Groce, Daniel Kroening, and Flavio Lerda Computer…
  • Add To MetaCart
  • Model Checking In-The-Loop  
  • by Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh — 2008 — In Submitted to the 27th American Control Conference
  • …Model Checking In-The-Loop Flavio Lerda † , James Kapinski § , Hitashyam Maka § , Edmund M. Clarke…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB