ESC/Java swMATH ID: 7217 Software Authors: Nelson, Greg Description: The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas Homepage: http://kindsoftware.com/products/opensource/ESCJava2/ Related Software: Spec#; SIMPLIFY; JML; Boogie; KRAKATOA; z3; Eiffel; PVS; Why3; KeY; Caduceus; VCC; SMT-LIB; BLAST; Isabelle/HOL; SPARK; Dafny; SLAM; LOOP; VeriFast Cited in: 120 Documents all top 5 Cited by 255 Authors 11 Leino, K. Rustan M. 5 de Moura, Leonardo 5 Flanagan, Cormac 5 Lahiri, Shuvendu Kumar 4 Müller, Peter 3 Böhme, Sascha 3 Jacobs, Bart 3 Liu, Zhiming 3 Logozzo, Francesco 3 Moskal, Michał 3 Naumann, David A. 3 Qadeer, Shaz 3 Rümmer, Philipp 3 Schulte, Wolfram 2 Ahrendt, Wolfgang 2 Barrett, Clark W. 2 Bjørner, Nikolaj S. 2 Bonacina, Maria Paola 2 Chalin, Patrice 2 Chen, Zhenbang 2 Chin, Wei-Ngan 2 Cimatti, Alessandro 2 de Boer, Frank S. 2 Freund, Stephen Neal 2 Ge, Yeting 2 Gedell, Tobias 2 Gunter, Elsa L. 2 Hähnle, Reiner 2 Hu, Alan J. 2 Kröning, Daniel 2 Kuliamin, Victor V. 2 Leavens, Gary T. 2 Lynch, Christopher A. 2 Musuvathi, Madanlal 2 Nelson, Greg 2 Oliveira, José Nuno 2 Pearce, David J. 2 Peled, Doron A. 2 Pierik, Cees 2 Rakamarić, Zvonimir 2 Régis-Gianas, Yann 2 Seshia, Sanjit Arunkumar 2 Sharygina, Natasha 2 Stolz, Volker 2 Stump, Aaron 2 Tinelli, Cesare 2 Wolff, Burkhart 1 Armando, Alessandro 1 Artho, Cyrille 1 Babić, Domagoj 1 Ball, Thomas 1 Banerjee, Anindya 1 Barnes, Janet 1 Barnett, Mike 1 Beckert, Bernhard 1 Betin-Can, Aysu 1 Biere, Armin 1 Birkedal, Lars 1 Brand, Daniel 1 Breunesse, C. B. 1 Bruttomesso, Roberto 1 Bultan, Tevfik 1 Burel, Guillaume 1 Bury, Guillaume 1 Buss, Marcio 1 Calcagno, Cristiano 1 Cataño, Néstor 1 Cauderlier, Raphaël 1 Chander, Ajay 1 Chapman, Roderick 1 Chatterjee, Shaunak 1 Chen, Yiyun 1 Cheon, Yoonsik 1 Chernov, E. S. 1 Chifflier, Pierre 1 Chimento, Jesús Mauricio 1 Cho, Hyoun Kyu 1 Christakis, Maria 1 Clarkson, Michael R. 1 Clifton, Curtis 1 Cok, David R. 1 Cook, Andrew W. 1 Cook, Byron 1 Cousot, Patrick 1 Cousot, Radhia 1 Dams, Dennis René 1 David, Cristina 1 Déharbe, David 1 Delahaye, David 1 Della Penna, Giuseppe 1 Dévai, Gergely 1 Dwyer, Matthew B. 1 Dylla, Maximilian 1 Dymnikov, Constantine 1 Edwards, Stephen A. 1 Ellis, Bill J. 1 Ellison, Chucky 1 Emmi, Michael 1 Ernst, Michael D. 1 Espinosa, David ...and 155 more Authors all top 5 Cited in 18 Serials 14 Science of Computer Programming 8 Journal of Automated Reasoning 7 Formal Aspects of Computing 4 Formal Methods in System Design 3 Theoretical Computer Science 2 Programming and Computer Software 2 The Journal of Logic and Algebraic Programming 2 Computer Languages, Systems & Structures 1 Information Processing Letters 1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 1 Journal of Computer Science and Technology 1 Discrete Event Dynamic Systems 1 Annals of Mathematics and Artificial Intelligence 1 Lecture Notes in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 119 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Citations by Year