×

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; SatAbs; Bebop; MOPS; z3; CESAR; CBMC; veriSoft; Java PathFinder; Zing; ESC/Java; Wolverine; CIL; DART; CUTE; SIMPLIFY; ARMC
Referenced 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

Referenced by 241 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 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
1 Feng, Xiushan
...and 141 more Authors

Referencing Publications by Year