×

SLAM

swMATH ID: 3136
Software Authors: Ball, Thomas; Rajamani, Sriram K.
Description: SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool in the Windows Driver Development Kit that uses the SLAM verification engine.
Homepage: http://research.microsoft.com/en-us/projects/slam/
Related Software: BLAST; SPIN; Bandera; SatAbs; CPAchecker; Bebop; MOPS; z3; CESAR; veriSoft; CBMC; Java PathFinder; ESC/Java; Zing; Wolverine; SIMPLIFY; CIL; DART; CUTE; ARMC
Cited in: 121 Publications
Further Publications: http://research.microsoft.com/en-us/projects/slam/

Standard Articles

2 Publications describing the Software, including 1 Publication in zbMATH Year
From symptom to cause: localizing errors in counterexample traces
Ball, Thomas; Naik, Mayur; Rajamani, Sriram K.
2003
The SLAM toolkit. Zbl 0996.68560
Ball, Thomas; Rajamani, Sriram K.
2001
all top 5

Cited by 242 Authors

8 Alur, Rajeev
5 Chechik, Marsha
5 Kröning, Daniel
5 Podelski, Andreas
5 Rajamani, Sriram K.
4 Dams, Dennis René
4 Godefroid, Patrice
4 Gurfinkel, Arie
4 Madhusudan, Parthasarathy
4 Namjoshi, Kedar S.
4 Reps, Thomas W.
4 Sagiv, Mooly
3 Beyer, Dirk
3 Bjørner, Nikolaj S.
3 Ghica, Dan R.
3 Hague, Matthew
3 Hoenicke, Jochen
3 Jhala, Ranjit
3 Kobayashi, Naoki
3 Qadeer, Shaz
3 Rehof, Jakob
3 Seghir, Mohamed Nassim
3 Sharygina, Natasha
3 Terauchi, Tachio
2 Aiken, Alex
2 Albarghouthi, Aws
2 Andrews, Tony
2 Ball, Thomas
2 Chakraborty, Supratik
2 Dillig, Isil
2 Dillig, Thomas
2 Esparza, Javier
2 Fujita, Masahiro
2 Gulavani, Bhargav S.
2 Jagadeesan, Radha
2 La Torre, Salvatore
2 Majumdar, Rupak
2 Murawski, Andrzej S.
2 Nori, Aditya Vithal
2 Petersen, Rasmus Lerchedahl
2 Ranise, Silvio
2 Sen, Koushik
2 Vardi, Moshe Ya’akov
2 Vojnar, Tomáš
2 Wahl, Thomas
2 Xie, Yichen
2 Yorsh, Greta
1 Aarts, Fides
1 Abramsky, Samson
1 Alberti, Francesco
1 Alpuente, María
1 Anand, Saswat
1 Armando, Alessandro
1 Arons, Tamarah
1 Balakrishnan, Gogul
1 Bardin, Sébastien
1 Barnes, Janet
1 Barone-Adesi, Katerina
1 Basler, Gérard
1 Ben-David, Shoham
1 Betin-Can, Aysu
1 Biere, Armin
1 Bouajjani, Ahmed
1 Braghin, Chiara
1 Broadbent, Christopher H.
1 Bruttomesso, Roberto
1 Bueno, Denis
1 Bultan, Tevfik
1 Carayol, Arnaud
1 Černý, Pavol
1 Chapman, Roderick
1 Chaudhuri, Swarat
1 Chen, Hao
1 Chlipala, Adam J.
1 Conway, Christopher L.
1 Cook, Andrew W.
1 Corona, Gabriel
1 Cousot, Patrick
1 Currie, David J.
1 Dangl, Matthias
1 Das, Satyaki
1 de Alfaro, Luca
1 del Mar Gallardo, María
1 Devereux, Benet
1 Dietsch, Daniel
1 Dill, David L.
1 Dimovski, Aleksandar S.
1 Distefano, Dino
1 Donaldson, Alastair F.
1 Du, Hongwei
1 Duan, Zhenhua
1 Easterbrook, Steve
1 Edelkamp, Stefan
1 Edwards, Stephen A.
1 Ellis, Bill J.
1 Elster, Elad
1 Emmi, Michael
1 Ermis, Evren
1 Ernst, Michael D.
1 Etessami, Kousha
...and 142 more Authors
all top 5

Cited in 19 Serials

7 Formal Methods in System Design
5 Theoretical Computer Science
5 Information and Computation
5 Formal Aspects of Computing
4 Journal of Automated Reasoning
1 ACM Computing Surveys
1 Acta Informatica
1 International Journal of General Systems
1 Information Processing Letters
1 Computing
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 Science of Computer Programming
1 International Journal of Parallel Programming
1 Journal of the ACM
1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas
1 Computer Languages, Systems & Structures
1 Lecture Notes in Computer Science
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 6 Fields

121 Computer science (68-XX)
11 Mathematical logic and foundations (03-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 General and overarching topics; collections (00-XX)
1 Number theory (11-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year