×

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; CPAchecker; z3; Bebop; SatAbs; MOPS; CBMC; veriSoft; CESAR; Java PathFinder; ESC/Java; Zing; Wolverine; ARMC; CIL; ASTREE; DART; SIMPLIFY
Cited in: 128 Documents
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 262 Authors

8 Alur, Rajeev
5 Chechik, Marsha
5 Kröning, Daniel
5 Podelski, Andreas
5 Rajamani, Sriram K.
4 Beyer, Dirk
4 Dams, Dennis René
4 Godefroid, Patrice
4 Gurfinkel, Arie
4 Kobayashi, Naoki
4 Madhusudan, Parthasarathy
4 Namjoshi, Kedar S.
4 Reps, Thomas W.
4 Sagiv, Mooly
3 Bjørner, Nikolaj S.
3 Ghica, Dan R.
3 Hague, Matthew
3 Hoenicke, Jochen
3 Jhala, Ranjit
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 Dangl, Matthias
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 Bøgsted Poulsen, Danny
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 Chiari, Michele
1 Chlipala, Adam J.
1 Conway, Christopher L.
1 Cook, Andrew W.
1 Corona, Gabriel
1 Cousot, Patrick
1 Currie, David J.
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
...and 162 more Authors

Citations by Year