Nina Amla

Publications (3)0 Total impact

• Source

  Available from: citeseerx.ist.psu.edu

  Conference Proceeding: Combining Abstraction Refinement and SAT-Based Model Checking.

  Nina Amla, Kenneth L. McMillan
  Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings; 01/2007
• Source

  Available from: technion.ac.il

  Conference Proceeding: A Hybrid of Counterexample-Based and Proof-Based Abstraction.

  Nina Amla, Kenneth L. McMillan
  Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings; 01/2004
• Source

  Available from: citeseerx.ist.psu.edu

  Conference Proceeding: Automatic Abstraction without Counterexamples.

  Kenneth L. McMillan, Nina Amla
  Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings; 01/2003