SIMPLIFY swMATH ID: 4976 Software Authors: Detlefs, D.; Nelson, G.; Saxe, J. B Description: Extended static checking. This paper provides an overview of Extended Static Checking (ESC), a new technology that we have studied here at the Compaq (née Digital) Systems Research Center for much of the 1990s. We have implemented and experimented with two Extended Static Checkers, one for Modula-3, and another checker for Java. The aim of ESC is to increase software productivity by providing practical static checking tools for programmers. In general, static checking finds errors statically, that is, without running the program, and therefore can find errors earlier in the design process than dynamic checking such as testing. Since the cost of correcting an error is reduced if it is detected early, improved static checking has the potential to increase software productivity. Homepage: http://www.kindsoftware.com/products/opensource/Simplify/ Programming Languages: Modula-III Related Software: z3; ESC/Java; Boogie; Spec#; PVS; Yices; SMT-LIB; CVC4; cvc3; JML; Coq; Why3; KRAKATOA; Chaff; Isabelle/HOL; VAMPIRE; Dafny; E Theorem Prover; FOCI; Caduceus Cited in: 139 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Simplify: a theorem prover for program checking. Zbl 1323.68462Detlefs, David; Nelson, Greg; Saxe, James B. 2005 all top 5 Cited by 256 Authors 11 Leino, K. Rustan M. 9 Bonacina, Maria Paola 8 Tinelli, Cesare 7 de Moura, Leonardo 6 Barrett, Clark W. 6 Ranise, Silvio 6 Reynolds, Andrew 5 Cimatti, Alessandro 5 Kuncak, Viktor 5 Tran, Duc-Khanh 4 Kröning, Daniel 4 Lynch, Christopher A. 4 Rümmer, Philipp 4 Sharygina, Natasha 3 Armando, Alessandro 3 Ball, Thomas 3 Biere, Armin 3 Bjørner, Nikolaj S. 3 Bruttomesso, Roberto 3 Echenim, Mnacho 3 Flanagan, Cormac 3 Fontaine, Pascal 3 Hyvärinen, Antti E. J. 3 Lahiri, Shuvendu Kumar 3 Müller, Peter 3 Ringeissen, Christophe 3 Saxe, James B. 3 Schulte, Wolfram 3 Sebastiani, Roberto 2 Back, Ralph-Johan 2 Barbosa, Haniel 2 Böhme, Sascha 2 Conchon, Sylvain 2 Deters, Morgan 2 Detlefs, David L. 2 Dross, Claire 2 Filliâtre, Jean-Christophe 2 Ge, Yeting 2 Graham-Lengrand, Stéphane 2 Griggio, Alberto 2 Henzinger, Thomas A. 2 Hu, Alan J. 2 Jhala, Ranjit 2 Johansson, Moa 2 Kirchner, Hélène 2 Marescotti, Matteo 2 McMillan, Kenneth L. 2 Moskal, Michał 2 Musuvathi, Madanlal 2 Necula, George C. 2 Nelson, Greg 2 Nguyen, Huu Hai 2 Qadeer, Shaz 2 Rajamani, Sriram K. 2 Sagiv, Mooly 2 Schulz, Stephan 2 Seshia, Sanjit Arunkumar 2 Shankar, Natarajan 2 Shoham, Sharon 2 Weiss, Benjamin 2 Wolff, Burkhart 1 Agesen, Ole 1 Alberti, Francesco 1 Alt, Leonardo S. 1 Banerjee, Anindya 1 Barbosa, Manuel 1 Benedikt, Michael A. 1 Berdine, Josh 1 Berger, Martin J. 1 Beringer, Lennart 1 Besson, Frédéric 1 Birkedal, Lars 1 Blazy, Sandrine 1 Blicha, Martin 1 Bozzano, Marco 1 Brillout, Angelo 1 Brumley, Billy Bob 1 Brummayer, Robert 1 Bruns, Glenn 1 Bryant, Randal E. 1 Bugariu, Alexandra 1 Burel, Guillaume 1 Bury, Guillaume 1 Butelle, Franck 1 Cañete-Valdeón, José M. 1 Cauderlier, Raphaël 1 Chander, Ajay 1 Charlton, Nathaniel 1 Chin, Wei-Ngan 1 Clarke, Edmund Melson jun. 1 Cook, Byron 1 Cornilleau, Pierre-Emmanuel 1 Cousot, Patrick 1 Cousot, Radhia 1 Currie, David J. 1 Das, Satyaki 1 David, Cristina 1 Delahaye, David 1 Disch, Stefan 1 Dobal, Pablo Federico ...and 156 more Authors all top 5 Cited in 21 Serials 16 Journal of Automated Reasoning 5 Science of Computer Programming 5 Formal Aspects of Computing 5 Formal Methods in System Design 3 Logical Methods in Computer Science 2 Programming and Computer Software 2 Journal of Symbolic Computation 2 Information and Computation 2 Annals of Mathematics and Artificial Intelligence 2 Journal of the ACM 1 Information Processing Letters 1 Theoretical Computer Science 1 International Journal of Parallel Programming 1 Theory of Computing Systems 1 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Journal of Zhejiang University. Science A 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Computer Science Review 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 11 Fields 133 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Topological groups, Lie groups (22-XX) 1 Convex and discrete geometry (52-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year