LEVER: A tool for learning based verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 471-474

  Vardhan, Abhay ^a   Viswanathan, Mahesh ^b  

^a GOOGLE INC   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33749843567     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_43     Document Type: Conference Paper

References (14)

1. ALV. Action language verifier, http://www.cs.ucsb.edu/~bultan/composite/, 2004.
2. D. Angluin. Learning regular sets from queries and counterexamples. Inform, Comput., 75(2):87-106, Nov. 1987.
3. S. Bardin, A. Finkel, J. Leroux and L. Petrucci. FAST: Fast Accelereation of Symbolic Transition systems. In Proc. 15th Conf. on Computer Aided Verification, 2003.
4. P. Habermehl and T. Vojnar. Regular model checking using inference of regular languages. In Proc. of Infinity'04, London, UK, 2004.
5. M. J. Kearns and U. V. Vazirani. An Introduction to Computational Learning Theory. The MIT Press, Cambridge, Massachusetts, 1994.
6. N. Klarlund and A. Møller. Mona. http://www.brics.dk/mona/, 2004.
7. R. L. Rivest and R. E. Schapire. Inference of finite automata using homing sequences. Inform. Comput., 103(2):299-347, Apr. 1993.
8. T. Rybina and A. Voronkov. Brain : Backward reachability analysis with integers. In AMAST, pages 489-494, 2002.
9. A. Vardhan. Learning to Verify Systems. PhD thesis, Dep. of Computer Science, University of Illinois at Urbana Champaign, 2006.
10. A. Vardhan, K. Sen, M. Viswanathan, and G. Agha. Actively learning to verify safety for FIFO automata. In LNCS SS28, Proc. of FSTTCS'04, Chennai, India, pages 494-505, 2004.
11. A. Vardhan, K. Sen, M. Viswanathan, and G. Agha. Learning to verify safety properties. In LNCS 3308, Proc. of ICFEM'04, Seattle, USA, pages 274-288, 2004.
12. A. Vardhan, K. Sen, M. Viswanathan, and G. Agha. Using language inference to verify omega-regular properties. In Proceedings of the Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), volume 3440, pages 45-60, Edinburgh, UK, April 2005. Springer.
13. A. Vardhan and M. Viswanathan. Learning to verify branching time properties. In Proc. of the Twentieth IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, 2005.
14. A. Vardhan and M. Viswanathan. Learning to verify branching time properties. Technical Report UIUCDCS-R-2005-2630, ftp://ftp.cs.uiuc.edu/pub/ dept/tech_reports/2005/UIUCDCS-R-2005-2630.pdf. gz, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005.