×

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; cvc3; SMT-LIB; CVC4; Yices; JML; Why3; Chaff; Coq; KRAKATOA; Dafny; E Theorem Prover; VAMPIRE; CVC; FOCI; Caduceus
Cited in: 130 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Simplify: a theorem prover for program checking. Zbl 1323.68462
Detlefs, David; Nelson, Greg; Saxe, James B.
2005
all top 5

Cited by 241 Authors

11 Leino, K. Rustan M.
8 Bonacina, Maria Paola
8 Tinelli, Cesare
7 de Moura, Leonardo
6 Barrett, Clark W.
6 Ranise, Silvio
6 Reynolds, Andrew
5 Kuncak, Viktor
5 Tran, Duc-Khanh
4 Cimatti, Alessandro
4 Kröning, Daniel
4 Rümmer, Philipp
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 Lahiri, Shuvendu Kumar
3 Ringeissen, Christophe
3 Saxe, James B.
3 Schulte, Wolfram
3 Sebastiani, Roberto
3 Sharygina, Natasha
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 Henzinger, Thomas A.
2 Hu, Alan J.
2 Hyvärinen, Antti E. J.
2 Johansson, Moa
2 Kirchner, Hélène
2 Marescotti, Matteo
2 Moskal, Michał
2 Müller, Peter
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 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 Bozzano, Marco
1 Brillout, Angelo
1 Brumley, Billy Bob
1 Brummayer, Robert
1 Bruns, Glenn
1 Bryant, Randal E.
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
1 Drossopolou, Sophia
1 Dutertre, Bruno
1 Eilers, Marco
1 Eisenbach, Susan
1 Eisinger, Jochen
1 El Ouraoui, Daniel
1 Engel, Christian
1 Ernst, Michael D.
...and 141 more Authors

Citations by Year