×

JavaFAN

swMATH ID: 1934
Software Authors: Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Description: Formal analysis of Java programs in JavaFAN. JavaFAN is a Java program analysis framework, that can symbolically execute multithreaded programs, detect safety violations searching through an unbounded state space, and verify finite state programs by explicit state model checking. Both Java language and JVM bytecode analyses are possible. JavaFAN’s implementation consists of only 3,000 lines of Maude code, specifying formally the semantics of Java and JVM in rewriting logic and then using the capabilities of Maude for efficient execution, search and LTL model checking of rewriting theories.
Homepage: http://fsl.cs.illinois.edu/index.php/JavaFAN
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; Isabelle/HOL; PMaude; Dist-Orc; Centaur; MOMENT2; OBJ3; ITP; Coq; JML; KOOL; K tool; Ptolemy; ITP/OCL; Stratego
Cited in: 30 Publications
Further Publications: http://fsl.cs.illinois.edu/index.php/FSL_Publications

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
2004
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
2004
all top 5

Cited by 48 Authors

14 Meseguer Guaita, José
11 Roşu, Grigore
3 Boichut, Yohan
3 Farzan, Azadeh
3 Lochbihler, Andreas
3 Şerbănuţă, Traian Florin
2 Genet, Thomas
2 Martí-Oliet, Narciso
2 Olveczky, Peter Csaba
2 Talcott, Carolyn L.
1 Ahrendt, Wolfgang
1 AlTurki, Musab A.
1 Asăvoae, Irina Măriuca
1 Asăvoae, Mihail
1 Bae, Kyungmin
1 Balland, Emilie
1 Bodin, Martin
1 Braga, Christiano
1 Bulwahn, Lukas
1 Charguéraud, Arthur
1 Chen, Feng
1 Ciobâcă, Ştefan
1 Clavel, Manuel
1 Colvin, Robert J.
1 Durán, Francisco
1 Eker, Steven
1 Feng, Thomas Huining
1 Filaretti, Daniele
1 Gardner, Philippa Anne
1 Héam, Pierre-Cyrille
1 Hills, Mark
1 Kouchnarenko, Olga
1 Le Roux, Luka
1 Lee, Edward Ashford
1 Lescaylle, Alexei
1 Lincoln, Patrick D.
1 Maffeis, Sergio
1 Moore, Brandon M.
1 Moreau, Pierre-Etienne
1 Naudziuniene, Daiva
1 Riesco, Adrián
1 Röth, Andreas Barthel
1 Sasse, Ralf
1 Schmitt, Alan
1 Smith, Gareth David
1 Ştefănescu, Andrei
1 Tripakis, Stavros
1 Villanueva, Alicia
all top 5

Cited in 8 Serials

2 Information and Computation
2 The Journal of Logic and Algebraic Programming
1 Theoretical Computer Science
1 Science of Computer Programming
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Lecture Notes in Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Cited in 3 Fields

30 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
1 History and biography (01-XX)

Citations by Year