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 91 articles )

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

1 2 3 4 5 next

  1. Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael: Multi-player games with LDL goals over finite traces (2021)
  2. Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha: Verification of multi-agent systems with public actions against strategy logic (2020)
  3. Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael: Automated temporal equilibrium analysis: verification and synthesis of multi-player games (2020)
  4. Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael: Nash equilibrium and bisimulation invariance (2019)
  5. Jamroga, Wojciech; Knapik, Michał; Kurpiewski, Damian; Mikulski, Łukasz: Approximate verification of strategic abilities under imperfect information (2019)
  6. Giannakopoulou, Dimitra; Namjoshi, Kedar S.; Păsăreanu, Corina S.: Compositional reasoning (2018)
  7. Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael: Imperfect information in reactive modules games (2018)
  8. Westman, Jonas; Nyberg, Mattias: Conditions of contracts for separating responsibilities in heterogeneous systems (2018)
  9. Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael: Reasoning about equilibria in game-like concurrent systems (2017)
  10. Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael: From model checking to equilibrium checking: reactive modules for rational verification (2017)
  11. Huang, Chung-Hao; Schewe, Sven; Wang, Farn: Model-checking iterated games (2017)
  12. Alechina, Natasha; Logan, Brian: Verifying systems of resource-bounded agents (2016)
  13. Chen, Qingliang; Su, Kaile; Sattar, Abdul; Luo, Xiangyu; Chen, Aixiang: A first-order coalition logic for BDI-agents (2016)
  14. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  15. Svoreňová, Mária; Kwiatkowska, Marta: Quantitative verification and strategy synthesis for stochastic games (2016)
  16. 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)
  17. Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael: A tool for the automated verification of Nash equilibria in concurrent games (2015)
  18. Wang, Haiyang; Duan, Zhenhua; Tian, Cong: Symbolic model checking for alternating projection temporal logic (2015)
  19. Chatterjee, Krishnendu; Raman, Vishwanath: Assume-guarantee synthesis for digital contract signing (2014)
  20. Pilecki, Jerzy; Bednarczyk, Marek A.; Jamroga, Wojciech: Synthesis and verification of uniform strategies for multi-agent systems (2014)

1 2 3 4 5 next