×

TVLA

swMATH ID: 9878
Software Authors: Tal Lev-Ami; Mooly Sagiv
Description: TVLA: A System for Implementing Static Analyses. We present TVLA (Three-Valued-Logic Analyzer). TVLA is a “YACC”-like framework for automatically constructing static-analysis algorithms from an operational semantics, where the operational semantics is specified using logical formulae. TVLA has been implemented in Java and was successfully used to perform shape analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove safety properties of Mobile Ambients, and to verify the partial correctness of several sorting programs.
Homepage: http://www.cs.tau.ac.il/~tvla/
Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; BLAST; Spec#; CSSV; MONA; Dafny; DART; Houdini; SatAbs; VeriFast; Smallfoot; BoogiePL; Bandera; Java PathFinder; veriSoft
Cited in: 31 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
TVLA: A system for implementing static analyses. Zbl 0966.68580
Lev-Ami, Tal; Sagiv, Mooly
2000
all top 5

Cited by 70 Authors

8 Sagiv, Mooly
4 Berdine, Josh
3 Brochenin, Rémi
3 Lev-Ami, Tal
3 Lozes, Etienne
3 Reps, Thomas W.
3 Rival, Xavier
2 Calcagno, Cristiano
2 Cook, Byron
2 Demri, Stéphane P.
2 Distefano, Dino
2 Ferrara, Pietro
2 Lahiri, Shuvendu Kumar
2 Loginov, Alexey
2 Manevich, Roman
2 O’Hearn, Peter W.
2 Qadeer, Shaz
2 Rakamarić, Zvonimir
2 Ramalingam, Ganesan
2 Yang, Hongseok
1 Arnold, Gilad
1 Bansal, Kshitij
1 Berenger, Francois
1 Blanco, Javier Oscar
1 Bouajjani, Ahmed
1 Bruse, Florian
1 Bruttomesso, Roberto
1 Chang, Bor-Yuh Evan
1 Chatterjee, Shaunak
1 Cherini, Renato
1 Cimatti, Alessandro
1 Dams, Dennis René
1 Dolby, Julian
1 Du, Hongwei
1 Duan, Zhenhua
1 Dwyer, Matthew B.
1 Feldman, Yotam M. Y.
1 Hatcliff, John
1 Hermenegildo, Manuel V.
1 Hu, Alan J.
1 Immerman, Neil
1 Iosif, Radu
1 Kidd, Nicholas
1 Kreiker, Jörg
1 Kröning, Daniel
1 Lange, Martin
1 Lee, Oukseh
1 Li, Huisong
1 Lu, Xu
1 Méndez-Lojo, Mario
1 Meyer, Antoine
1 Müller, Peter
1 Namjoshi, Kedar S.
1 Navas, Jorge A.
1 Padon, Oded
1 Rabinovich, Alexander
1 Rearte, Lucas
1 Rinetzky, Noam
1 Sälzer, Marco
1 Sharygina, Natasha
1 Shoham, Sharon
1 Tian, Cong
1 Tonetta, Stefano
1 Tsitovich, Aliaksei
1 Vaziri, Mandana
1 Wand, Mitchell
1 Wies, Thomas
1 Williamson, Galen B.
1 Wintersteiger, Christoph M.
1 Yorsh, Greta

Cited in 5 Serials

2 Theoretical Computer Science
2 Formal Methods in System Design
1 Annals of Pure and Applied Logic
1 Information and Computation
1 The Journal of Logic and Algebraic Programming

Cited in 3 Fields

31 Computer science (68-XX)
9 Mathematical logic and foundations (03-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year