×

ACL2

swMATH ID: 60
Software Authors: Matt Kaufmann, Strother Moore
Description: ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is part of the Boyer-Moore family of provers.
Homepage: http://www.cs.utexas.edu/users/moore/acl2/
Keywords: theorem proving; automated reasoning; formal verification
Related Software: Coq; Isabelle/HOL; PVS; HOL; Isabelle; HOL Light; ML; NQTHM; Mizar; LISP; z3; Ivy; Flyspeck; Archive Formal Proofs; Maude; Sledgehammer; Why3; OTTER; SPIN; LCF
Referenced in: 276 Publications
all top 5

Referenced by 353 Authors

25 Moore, J Strother
21 Ruiz-Reina, José-Luis
20 Kaufmann, Matt
19 Martín-Mateos, Francisco-Jesús
14 Hunt, Warren A. jun.
14 Manolios, Panagiotis
12 Gamboa, Ruben A.
11 Hidalgo, María-José
11 Rubio García, Julio Jesús
10 Alonso, José-Antonio
10 Ray, Sandip
9 Schmaltz, Julien
9 Vroon, Daron
8 Roşu, Grigore
7 Lambán, Laureano
7 Meseguer Guaita, José
6 Boldo, Sylvie
6 Duan, Zhenhua
6 Heras, Jónathan
6 Melquiond, Guillaume
6 Myreen, Magnus O.
6 Zhang, Nan
5 Borrione, Dominique
5 Heule, Marijn J. H.
5 Tian, Cong
4 Cowles, John R.
4 Davis, Jared
4 Filliâtre, Jean-Christophe
4 Kaliszyk, Cezary
4 Nipkow, Tobias
4 Pascual, Vico
4 Slind, Konrad
4 Wetzler, Nathan D.
3 Alonso-Jiménez, José Antonio
3 Armando, Alessandro
3 Gordon, Michael J. C.
3 Guan, Yong
3 Lelay, Catherine
3 Medina-Bulo, Inmaculada
3 Muñoz, César A.
3 Owens, Scott
3 Palomo-Lozano, Francisco
3 Ranise, Silvio
3 Reeber, Erik
3 Shankar, Natarajan
3 Shi, Zhiping
3 Sumners, Rob
3 Tahar, Sofiène
3 Toma, Diana
3 Urban, Josef
3 Verbeek, Freek
3 Wiedijk, Freek
2 Aderhold, Markus
2 Aït Mohamed, Otmane
2 Akbarpour, Behzad
2 Araújo, João
2 Carette, Jacques
2 Clément, François
2 Compagna, Luca
2 Cruanes, Simon
2 Dillinger, Peter C.
2 Farmer, William M.
2 Geuvers, Jan Herman
2 Godlin, Benny
2 Grégoire, Benjamin
2 Greve, David A.
2 Hardin, David S.
2 Hunt, Warren jun.
2 Johansson, Moa
2 Jonker, Catholijn M.
2 Komendantskaya, Ekaterina
2 Krug, Robert Bellarmine
2 Leino, K. Rustan M.
2 Li, Liming
2 Li, Yongdong
2 Mayero, Micaela
2 McCune, William W.
2 Nagele, Julian
2 Norrish, Michael
2 Omodeo, Eugenio Giovanni
2 Paşca, Ioana
2 Passmore, Grant Olney
2 Paulson, Lawrence Charles
2 Pierre, Laurence
2 Rager, David L.
2 Ridge, Thomas
2 Sammane, Ghiath Al
2 Sawada, Jun
2 Şerbănuţă, Traian Florin
2 Slobodová, Anna
2 Ştefănescu, Andrei
2 Strichman, Ofer
2 Sutcliffe, Geoff
2 Treur, Jan
2 Weis, Pierre
2 Wenzel, Makarius
2 Wilding, Matthew
2 Zankl, Harald
1 Abdulla, Parosh Aziz
1 Abed, Sa’ed
...and 253 more Authors
all top 5

Referenced in 43 Serials

37 Journal of Automated Reasoning
8 Formal Aspects of Computing
8 Electronic Proceedings in Theoretical Computer Science (EPTCS)
7 Formal Methods in System Design
6 Theoretical Computer Science
6 Lecture Notes in Computer Science
4 Information and Computation
4 Annals of Mathematics and Artificial Intelligence
3 Journal of Symbolic Computation
3 Journal of Applied Logic
3 Mathematics in Computer Science
2 Annals of Pure and Applied Logic
2 MSCS. Mathematical Structures in Computer Science
2 Bulletin of the Belgian Mathematical Society - Simon Stevin
2 Journal of Combinatorial Optimization
2 Higher-Order and Symbolic Computation
2 Sādhanā
2 Logical Methods in Computer Science
1 Acta Informatica
1 Communications in Algebra
1 International Journal of General Systems
1 Information Processing Letters
1 Letters in Mathematical Physics
1 Science of Computer Programming
1 Applied Intelligence
1 Archive for Mathematical Logic
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Functional Programming
1 Computational & Mathematical Organization Theory
1 Mathematical Problems in Engineering
1 Logic Journal of the IGPL
1 LMS Journal of Computation and Mathematics
1
1 The Journal of Logic and Algebraic Programming
1 Portugaliae Mathematica. Nova Série
1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas
1 Electronic Notes in Theoretical Computer Science
1 Groups, Complexity, Cryptology
1 Journal of Formalized Reasoning
1 Formalized Mathematics
1 Numerical Algebra, Control and Optimization
1 Computer Science Review

Referencing Publications by Year