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; HOL; PVS; Isabelle; HOL Light; ML; NQTHM; Mizar; z3; LISP; Maude; Ivy; Flyspeck; Archive Formal Proofs; SPIN; Sledgehammer; Why3; OTTER; LCF Cited in: 280 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Towards a mechanically checked theory of computation. The ACL2 project. Zbl 0979.68090Moore, J. Strother 2000 all top 5 Cited by 364 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 Cruanes, Simon 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 Passmore, Grant Olney 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 Basagiannis, Stylianos 2 Carette, Jacques 2 Clément, François 2 Compagna, Luca 2 Dillinger, Peter C. 2 Farmer, William M. 2 Geuvers, Jan Herman 2 Giantamidis, Georgios 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 Maclean, Ewen 2 Mayero, Micaela 2 McCune, William W. 2 Nagele, Julian 2 Norrish, Michael 2 Omodeo, Eugenio Giovanni 2 Paşca, Ioana 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 Tsachouridis, Vassilios A. 2 Weis, Pierre 2 Wenzel, Makarius ...and 264 more Authors all top 5 Cited in 44 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 1 International Journal of Mathematics for Industry all top 5 Cited in 24 Fields 269 Computer science (68-XX) 49 Mathematical logic and foundations (03-XX) 16 General and overarching topics; collections (00-XX) 12 Numerical analysis (65-XX) 11 Algebraic topology (55-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 6 Real functions (26-XX) 4 Combinatorics (05-XX) 3 Commutative algebra (13-XX) 3 Partial differential equations (35-XX) 3 Information and communication theory, circuits (94-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 Fluid mechanics (76-XX) 1 Systems theory; control (93-XX) Citations by Year