×

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

Referencing Publications by Year