Flavio Lerda

Computational Theory and Mathematics · 2000–2004

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Subfields

Whom Flavio Lerda trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Hubert Garavel

Who trusts Flavio Lerda overall

  1. Frank Ghenassia
  2. Jonathan M. McCune
  3. Dirk Beyer
  4. Vijay Victor D'Silva

Papers from Flavio Lerda's perspective

Ordered by how strongly the researchers Flavio Lerda trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  2. Behavioral consistency of C and Verilog programs using bounded model checking
  3. Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
  4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  5. Abstract Interpretation Frameworks
  6. The Temporal Rover and the ATG Rover (SPIN)
  7. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  8. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  9. Simplify: a theorem prover for program checking (JACM)
  10. Lazy abstraction

Their papers