MOCHA

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).


References in zbMATH (referenced in 79 articles )

Showing results 1 to 20 of 79.
Sorted by year (citations)

1 2 3 4 next

  1. Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael: Reasoning about equilibria in game-like concurrent systems (2017)
  2. Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael: From model checking to equilibrium checking: reactive modules for rational verification (2017)
  3. Huang, Chung-Hao; Schewe, Sven; Wang, Farn: Model-checking iterated games (2017)
  4. Alechina, Natasha; Logan, Brian: Verifying systems of resource-bounded agents (2016)
  5. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  6. Svoreňová, Mária; Kwiatkowska, Marta: Quantitative verification and strategy synthesis for stochastic games (2016)
  7. Aştefănoaei, Lăcrămioara; Ben Rayana, Souha; Bensalem, Saddek; Bozga, Marius; Combaz, Jacques: Compositional verification for timed systems based on automatic invariant generation (2015)
  8. Wang, Haiyang; Duan, Zhenhua; Tian, Cong: Symbolic model checking for alternating projection temporal logic (2015)
  9. Chatterjee, Krishnendu; Raman, Vishwanath: Assume-guarantee synthesis for digital contract signing (2014)
  10. Pilecki, Jerzy; Bednarczyk, Marek A.; Jamroga, Wojciech: Synthesis and verification of uniform strategies for multi-agent systems (2014)
  11. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: Automatic verification of competitive stochastic systems (2013)
  12. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: PRISM-games: a model checker for stochastic multi-player games (2013)
  13. Chatterjee, Krishnendu; Raman, Vishwanath: Synthesizing protocols for digital contract signing (2012)
  14. Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur: Automated verification of resource requirements in multi-agent systems using abstraction (2011) ioport
  15. Chareton, Christophe; Brunel, Julien; Chemouil, David: A formal treatment of agents, goals and operations using alternating-time temporal logic (2011)
  16. Dechesne, Francien; Wang, Yanjing: To know or not to know: Epistemic approaches to security protocol verification (2010)
  17. Alechina, Natasha; Logan, Brian; Nguyen Hoang Nga; Rakib, Abdur: Verifying time and communication costs of rule-based reasoners (2009)
  18. Alechina, Natasha; Logan, Brian; Nguyen Hoang Nga; Rakib, Abdur: Expressing properties of coalitional ability under resource bounds (2009)
  19. Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur: Verifying time, memory and communication bounds in systems of reasoning agents (2009)
  20. Boella, Guido; Sauro, Luigi; van der Torre, Leendert: Algorithms for finding coalitions exploiting a new reciprocity condition (2009)

1 2 3 4 next