Abstract
Introduction
Chapter PDF
Keywords
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
ALV. Action language verifier (2004), http://www.cs.ucsb.edu/~bultan/composite/
Angluin, D.: Learning regular sets from queries and counterexamples. Inform. Comput. 75(2), 87–106 (1987)
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)
Habermehl, P., Vojnar, T.: Regular model checking using inference of regular languages. In: Proc. of Infinity 2004, London, UK (2004)
Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. The MIT Press, Cambridge (1994)
Klarlund, N., Møller, A.: Mona (2004), http://www.brics.dk/mona/
Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inform. Comput. 103(2), 299–347 (1993)
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)
Vardhan, A.: Learning to Verify Systems. PhD thesis, Dep. of Computer Science, University of Illinois at Urbana Champaign (2006)
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)
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)
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)
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)
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vardhan, A., Viswanathan, M. (2006). LEVER: A Tool for Learning Based Verification. In: Ball, T., Jones, R.B. (eds) Computer Aided Verification. CAV 2006. Lecture Notes in Computer Science, vol 4144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11817963_43
Download citation
DOI: https://doi.org/10.1007/11817963_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37406-0
Online ISBN: 978-3-540-37411-4
eBook Packages: Computer ScienceComputer Science (R0)