MOCHA swMATH ID: 12935 Software Authors: Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S. Description: MOCHA: Modularity in Model Checking. MOCHA is a growing interactive software environment for system specification and verification. The main objective of MOCHA is to exploit, rather than destroy, design structure in automatic verification. MOCHA is intended as a vehicle for development of new verification algorithms and approaches. MOCHA is available in two versions, cMocha (Version 1.0.1) and jMocha (Version 2.0). Homepage: http://www.cis.upenn.edu/~mocha/ Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; VerICS; PRISM-games; PRALINE; Uppaal; MCK; Chaff; PVS; jMocha; EVE; GIST; QUBE; Quaffle; QUASY; GAVS Referenced in: 81 Publications all top 5 Referenced by 141 Authors 12 Wooldridge, Michael J. 7 Gutierrez, Julian 5 Alur, Rajeev 5 van der Hoek, Wiebe 4 Alechina, Natasha 4 Jamroga, Wojciech 4 Logan, Brian 4 Perelli, Giuseppe 4 Rajamani, Sriram K. 3 Giannakopoulou, Dimitra 3 Harrenstein, Paul 3 Henzinger, Thomas A. 3 Kwiatkowska, Marta Z. 3 Păsăreanu, Corina S. 3 Rakib, Abdur 3 Sidorova, Natalia 3 Steffen, Martin 2 Belardinelli, Francesco 2 Chatterjee, Krishnendu 2 Chen, Taolue 2 Dang, Zhe 2 Dix, Jurgen 2 Forejt, Vojtěch 2 Grosu, Radu 2 Ioustinova, Natalia 2 Kremer, Steve 2 Kröning, Daniel 2 Madhusudan, Parthasarathy 2 Manna, Zohar 2 Nam, Wonhong 2 Nguyen Hoang Nga 2 Qadeer, Shaz 2 Raman, Vishwanath 2 Ryan, Mark Dermot 2 Schewe, Sven 2 Schobbens, Pierre-Yves 2 Simaitis, Aistis 2 Sipma, Henny B. 2 Slanina, Matteo 2 Xie, Gaoyan 1 Abramsky, Samson 1 Ågotnes, Thomas 1 Aiken, Alexander 1 Aştefănoaei, Lăcrămioara 1 Ball, Thomas 1 Barringer, Howard 1 Bednarczyk, Marek A. 1 Ben Rayana, Souha 1 Bensalem, Saddek 1 Boella, Guido 1 Bozga, Marius 1 Braunstein, Cécile 1 Brunel, Julien 1 Bugaichenko, D. Yu. 1 Cassez, Franck 1 Chadha, Rohit 1 Chaki, Sagar 1 Chareton, Christophe 1 Chemouil, David 1 Chen, Aixiang 1 Chen, Qingliang 1 Clarke, Edmund Melson jun. 1 Cobleigh, Jamieson M. 1 Combaz, Jacques 1 Contensin, Magali 1 Cook, Byron 1 de Boer, Frank S. 1 de la Riva, Claudio 1 Dechesne, Francien 1 Demri, Stéphane P. 1 Doche, Marielle 1 Duan, Zhenhua 1 Dunne, Paul E. 1 Encrenaz, Emmanuelle 1 Ernst, Michael D. 1 Fähndrich, Manuel 1 Finkbeiner, Bernd 1 Foster, Jeffrey S. 1 Garland, Stephen J. 1 Gheorghiu Bobaru, Mihaela 1 Gheorghiu, Mihaela 1 Ghica, Dan R. 1 Harding, Aidan 1 Helmert, Malte 1 Huang, Chung-Hao 1 Jain, Himanshu 1 Kacprzak, Magdalena 1 Kirli, Zeliha Dilsun 1 Knapik, Michal Jozef 1 Kouvaros, Panagiotis 1 Kurpiewski, Damian 1 Lawford, Mark 1 Levi, Francesca 1 Lomuscio, Alessio 1 Lopez, Javier 1 Luo, Xiangyu 1 Lynch, Nancy Ann 1 Mattmüller, Robert 1 McDougall, Michael 1 McMillan, Kenneth L. ...and 41 more Authors all top 5 Referenced in 19 Serials 7 Artificial Intelligence 5 Synthese 5 Formal Methods in System Design 2 Acta Informatica 2 Information and Computation 2 Formal Aspects of Computing 2 Journal of Logic and Computation 2 Fundamenta Informaticae 2 Logical Methods in Computer Science 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Vestnik St. Petersburg University. Mathematics 1 Journal of Applied Non-Classical Logics 1 European Journal of Control 1 Theory of Computing Systems 1 Logic Journal of the IGPL 1 Journal of Applied Logic 1 Frontiers of Computer Science all top 5 Referenced in 6 Fields 77 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Referencing Publications by Year