Bandera swMATH ID: 7663 Software Authors: Hatcliff, John; Dwyer, Matthew Description: Using the Bandera tool set to model-check properties of concurrent Java software. The Bandera Tool Set is an integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model-checking Java source code. Bandera takes as input Java source code and a software requirement formalized in Bandera’s temporal specification language, and it generates a program model and specification in the input language of one of several existing model-checking tools (including Spin, dSpin, SMV, and JPF). Both program slicing and user extensible abstract interpretation components are applied to customize the program model to the property being checked. When a model-checker produces an error trail, Bandera renders the error trail at the source code level and allows the user to step through the code along the path of the trail while displaying values of variables and internal states of Java lock objects. par In this tutorial paper, we use a simple concurrent Java program to illustrate the functionality of the main components of Bandera and how to interact the tool set using its graphical user interface. Homepage: http://bandera.projects.cis.ksu.edu/ Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; Bogor; Uppaal; NuSMV; PVS; CESAR; BLAST; Eraser; DART; JPAX; Zing; CUTE; HyTech; GROOVE; CBMC Cited in: 104 Documents Further Publications: http://bandera.projects.cis.ksu.edu/papers/index.shtml all top 5 Cited by 201 Authors 9 Dwyer, Matthew B. 8 Hatcliff, John 7 Alur, Rajeev 7 Ball, Thomas 6 Rajamani, Sriram K. 5 Ivančić, Franjo 5 Păsăreanu, Corina S. 5 Visser, Willem 4 Chaki, Sagar 4 Godefroid, Patrice 4 Podelski, Andreas 4 Robby, Matthew 3 Clarke, Edmund Melson jun. 3 Dang, Thao 3 del Mar Gallardo, María 3 Havelund, Klaus 3 Iosif, Radu 3 Katz, Shmuel 3 Merino, Pedro 3 Ouaknine, Joel O. 3 Ranganath, Venkatesh Prasad 3 Sharygina, Natasha 3 Wehrheim, Heike 3 Yorav, Karen 2 Artho, Cyrille 2 Cook, Byron 2 Grinchtein, Olga 2 Groce, Alex 2 Grumberg, Orna 2 Gupta, Aarti 2 Holzmann, Gerard J. 2 Jagadeesan, Radha 2 Jonsson, Bengt 2 Olderog, Ernst-Rüdiger 2 Santone, Antonella 2 Viswanathan, Mahesh 2 Yang, Zijiang 1 Aaron, Eric 1 Abed, Sa’ed 1 Abramsky, Samson 1 Aït Mohamed, Otmane 1 Alba, Enrique 1 Amtoft, Torben 1 Ashar, Pranav 1 Balakrishnan, Gogul 1 Banerjee, Anindya 1 Baur, Marcel 1 Bensalem, Saddek 1 Betin-Can, Aysu 1 Biere, Armin 1 Bøgholm, Thomas 1 Brauer, Jörg 1 Browne, James C. 1 Bultan, Tevfik 1 Chaudhuri, Swarat 1 Chechik, Marsha 1 Chicano, Francisco 1 Chugunov, Gennady 1 Corbett, James C. 1 Dams, Dennis René 1 Das, Manuvir 1 de Boer, Frank S. 1 de la Cámara, Pedro 1 Dietsch, Daniel 1 Dingel, Juergen 1 dos Santos, Osmar Marchi 1 Dotti, Fernando Luís 1 D’Souza, Deepak 1 Duggirala, Parasara Sridhar 1 DuVarney, Daniel C. 1 Edelkamp, Stefan 1 Engler, Dawson 1 Engstrom, Eric 1 Etessami, Kousha 1 Eugster, Pascal 1 Evangelista, Sami 1 Foss, Luciana 1 Ganai, Malay K. 1 George, Chris W. 1 Ghica, Dan R. 1 Glenstrup, Arne John 1 Goldman, Max 1 Gopalakrishnan, Ganesh Lalitha 1 Gradara, Sara 1 Graf, Susanne 1 Gupta, Rajesh Kumar 1 Gurfinkel, Arie 1 Gurov, Dilian 1 Hagiya, Masami 1 Haydar, May 1 Heizmann, Matthias 1 Huisman, Marieke 1 Huth, Michael R. A. 1 Iyer, S. Purushothaman 1 Jackson, Daniel 1 Jančík, Pavel 1 Jones, Neil D. 1 Joshi, Rajeev 1 Kahlon, Vineet 1 Kaiser, Claude ...and 101 more Authors all top 5 Cited in 15 Serials 8 Formal Methods in System Design 5 Formal Aspects of Computing 4 Theoretical Computer Science 4 Science of Computer Programming 2 Acta Informatica 1 Journal of Computer and System Sciences 1 International Journal of Parallel Programming 1 Information and Computation 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 Annals of Mathematics and Artificial Intelligence 1 Informatica (Vilnius) 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Mathematics in Computer Science all top 5 Cited in 6 Fields 104 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Systems theory; control (93-XX) Citations by Year