The ACL2 Sedan theorem proving system

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

Volumn 6605 LNCS, Issue , 2011, Pages 291-295

  Chamarthi, Harsh Raju ^a   Dillinger, Peter ^a   Manolios, Panagiotis ^a   Vroon, Daron ^a  

^a Northeastern University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FRESHMAN COURSE; INTEGRATED DEVELOPMENT ENVIRONMENT; NORTHEASTERN UNIVERSITY; OPEN SOURCES; PLUG-INS; RANDOM TESTING; SYNERGISTIC COMBINATIONS; TERMINATION ANALYSIS; THEOREM PROVERS; THEOREM PROVING SYSTEMS; UNDERGRADUATE STUDENTS;

ALGORITHMS; PROBLEM SOLVING; STUDENTS; TEACHING; WEB SERVICES;

THEOREM PROVING;

EID: 79953210416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19835-9_27     Document Type: Conference Paper

References (7)

1. Chamarthi, H.R., Dillinger, P.C., Manolios, P., Vroon, D.: ACL2 Sedan homepage, http://acl2s.ccs.neu.edu/
2. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP, pp. 268-279 (2000)
3. Dillinger, P.C., Manolios, P., Vroon, D., Strother Moore, J.: ACL2s: "The ACL2 Sedan". Electr. Notes Theor. Comput. Sci. 174(2), 3-18 (2007)
4. Kaufmann, M., Manolios, P., Strother Moore, J. (eds.): Computer-Aided Reasoning: ACL2 Case Studies. Kluwer Academic Publishers, Dordrecht (2000)
5. Kaufmann, M., Manolios, P., Strother Moore, J.: Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, Dordrecht (2000)
6. Kaufmann, M., Strother Moore, J.: ACL2 homepage, http://www.cs.utexas. edu/users/moore/acl2
7. Manolios, P., Vroon, D.: Termination analysis with calling context graphs. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 401-414. Springer, Heidelberg (2006)