Advertisement

LEVER: A Tool for Learning Based Verification

(Tool Paper)
  • Abhay Vardhan
  • Mahesh Viswanathan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4144)

Abstract

Introduction

Keywords

Symbolic Representation Safety Property Reachable State Liveness Property Unbounded Number 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    ALV. Action language verifier (2004), http://www.cs.ucsb.edu/~bultan/composite/
  2. 2.
    Angluin, D.: Learning regular sets from queries and counterexamples. Inform. Comput. 75(2), 87–106 (1987)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Bardin, S., Finkel, A., Leroux, J., Petrucci, L.: FAST: Fast Acceleration of Symbolic Transition Systems. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 118–121. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Habermehl, P., Vojnar, T.: Regular model checking using inference of regular languages. In: Proc. of Infinity 2004, London, UK (2004)Google Scholar
  5. 5.
    Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. The MIT Press, Cambridge (1994)Google Scholar
  6. 6.
    Klarlund, N., Møller, A.: Mona (2004), http://www.brics.dk/mona/
  7. 7.
    Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inform. Comput. 103(2), 299–347 (1993)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Rybina, T., Voronkov, A.: Brain: Backward reachability analysis with integers. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 489–494. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Vardhan, A.: Learning to Verify Systems. PhD thesis, Dep. of Computer Science, University of Illinois at Urbana Champaign (2006)Google Scholar
  10. 10.
    Vardhan, A., Sen, K., Viswanathan, M., Agha, G.: Actively learning to verify safety for FIFO automata. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol. 3328, pp. 494–505. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Vardhan, A., Sen, K., Viswanathan, M., Agha, G.: Learning to verify safety properties. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 274–288. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Vardhan, A., Sen, K., Viswanathan, M., Agha, G.: Using language inference to verify omega-regular properties. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 45–60. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Vardhan, A., Viswanathan, M.: Learning to verify branching time properties. In: Proc. of the Twentieth IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA (2005)Google Scholar
  14. 14.
    Vardhan, A., Viswanathan, M.: Learning to verify branching time properties. Technical Report UIUCDCS-R-2005-2630, Department of Computer Science, University of Illinois at Urbana-Champaign (2005), ftp://ftp.cs.uiuc.edu/pub/dept/tech_reports/2005/UIUCDCS-R-2005-2630.pdf.gz

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Abhay Vardhan
    • 1
  • Mahesh Viswanathan
    • 2
  1. 1.Google Inc. 
  2. 2.University of Illinois at Urbana-Champaign 

Personalised recommendations