×

BLAST

swMATH ID: 2937
Software Authors: Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Description: BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e. whether a given program location can be reached from an entry point (main function) by a valid execution. Verification of safety properties may be reduced to the reachability, and BLAST is used for such verification in the Linux Driver Verification project. You may download source code or binary releases of BLAST for Linux on the Files page. The repository checkout instructions are located at the Repository tab. You may file a bug here as well. BLAST and all the components it relies on are free software. The BLAST itself is released under Apache 2.0 license (see source:LICENSE); for information about the components see source:NOTICE file. The BLAST has been developed for ten years by a number of people. The version maintained here is based on BLAST v2.5 released in 2008 by Dirk Beyer, Rupak Majumdar, Ranjit Jhala, and Thomas A. Henzinger. For a full list of contributors, refer to the source:README file.
Homepage: http://forge.ispras.ru/projects/blast/
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; ESC/Java; veriSoft; Java PathFinder; NuSMV; DART; CIL; CUTE; ASTREE; Bandera; FOCI; MOPS; UFO; Boogie; Wolverine
Cited in: 105 Publications

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
2004
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
2003
all top 5

Cited by 247 Authors

6 Majumdar, Rupak
5 Jhala, Ranjit
4 Beyer, Dirk
4 Henzinger, Thomas A.
4 Vojnar, Tomáš
3 Cimatti, Alessandro
3 Duan, Zhenhua
3 Hoenicke, Jochen
3 Tian, Cong
2 Aiken, Alex
2 Albarghouthi, Aws
2 Armando, Alessandro
2 Brotherston, James
2 Chechik, Marsha
2 Dobrev, Veselin A.
2 Edelkamp, Stefan
2 Fehnker, Ansgar
2 Ghica, Dan R.
2 Gurfinkel, Arie
2 Habermehl, Peter
2 Holzer, Andreas
2 Huuck, Ralf
2 Iosif, Radu
2 Kapur, Deepak
2 Kolev, Tzanio V.
2 Kuliamin, Victor V.
2 Kupferschmid, Stefan
2 Mantovani, Jacopo
2 Monniaux, David P.
2 Mutilin, V. S.
2 Narasamdya, Iman
2 Podelski, Andreas
2 Raskin, Jean-François
2 Rieben, Robert N.
2 Rogalewicz, Adam
2 Roveri, Marco
2 Seefried, Sean
2 Sharygina, Natasha
2 Tautschnig, Michael
2 Tellez, Gadi
2 Vardi, Moshe Ya’akov
2 Veith, Helmut
2 Wendler, Philipp
2 Zhang, Nan
1 Aissat, Romain
1 Alberti, Francesco
1 Amin, Nada
1 Amjad, Hasan
1 Amtoft, Torben
1 Anand, Saswat
1 Arons, Tamarah
1 Bakewell, Adam
1 Banerjee, Anindya
1 Barnat, Jiří
1 Barone-Adesi, Katerina
1 Becker, Bernd
1 Benerecetti, Massimo
1 Benmohamed, Mohamed
1 Bernasconi, Anna
1 Betin-Can, Aysu
1 Bornat, Richard
1 Bouajjani, Ahmed
1 Bourahla, Mustapha
1 Braghin, Chiara
1 Brückner, Ingo
1 Bruttomesso, Roberto
1 Bueno, Denis
1 Bultan, Tevfik
1 Chalupa, Marek
1 Chernov, E. S.
1 Chiari, Michele
1 Chin, Wei-Ngan
1 Chlipala, Adam J.
1 Christakis, Maria
1 Collavizza, Hélène
1 Cook, Byron
1 Corona, Gabriel
1 Cousot, Patrick
1 Dams, Dennis René
1 Dangl, Matthias
1 Daniel, Jakub
1 Daum, Matthias
1 De Wulf, Martin
1 del Mar Gallardo, María
1 Di Vito, Ben L.
1 Dillig, Isil
1 Dillig, Thomas
1 Dimovski, Aleksandar S.
1 Donaldson, Alastair F.
1 Doyen, Laurent
1 Dräger, Klaus
1 Du, Hongwei
1 Eggers, Andreas
1 Ellis, Truman E.
1 Elster, Elad
1 Emmi, Michael
1 Ermis, Evren
1 Falke, Stephan
1 Ferrara, Pietro
1 Finkbeiner, Bernd
...and 147 more Authors
all top 5

Cited in 18 Serials

6 Journal of Automated Reasoning
6 Formal Methods in System Design
5 Theoretical Computer Science
4 Programming and Computer Software
3 Formal Aspects of Computing
2 Computers and Fluids
2 Science of Computer Programming
2 Logical Methods in Computer Science
1 International Journal of General Systems
1 Journal of Symbolic Computation
1 International Journal of Parallel Programming
1 Information and Computation
1 Cybernetics and Systems Analysis
1 Constraints
1 Informatica (Ljubljana)
1 Mathematics in Computer Science
1 Science China. Information Sciences
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 6 Fields

101 Computer science (68-XX)
12 Mathematical logic and foundations (03-XX)
3 Numerical analysis (65-XX)
2 Fluid mechanics (76-XX)
2 Systems theory; control (93-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year