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

Showing results 41 to 60 of 92.
Sorted by year (citations)
  1. Gheorghiu, Mihaela; Giannakopoulou, Dimitra; Păsăreanu, Corina S.: Refining interface alphabets for compositional verification (2007)
  2. van der Hoek, Wiebe; Roberts, Mark; Wooldridge, Michael: Social laws in alternating time: effectiveness, feasibility, and synthesis (2007)
  3. Ågotnes, Thomas: Action and knowledge in alternating-time temporal logic (2006)
  4. Chadha, Rohit; Kremer, Steve; Scedrov, Andre: Formal analysis of multiparty contract signing (2006)
  5. Freitas, Leo; Woodcock, Jim; Cavalcanti, Ana: State-rich model checking (2006) ioport
  6. Freitas, Leo; Woodcock, Jim; Cavalcanti, Ana: State-rich model checking (2006) ioport
  7. Helmert, Malte; Mattmüller, Robert; Schewe, Sven: Selective approaches for solving weak games (2006)
  8. Lawford, Mark; Pantelic, Vera; Zhang, Hong: Towards integrated verification of timed transition models (2006)
  9. Legay, Axel; de Alfaro, Luca; Faella, Marco: An introduction to the tool Ticc (2006) ioport
  10. Loer, Karsten; Harrison, Michael D.: An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation (2006) ioport
  11. Slanina, Matteo; Sipma, Henny B.; Manna, Zohar: Proving ATL* properties of infinite-state systems (2006)
  12. Xie, Gaoyan; Dang, Zhe: Testing systems of concurrent black-boxes -- an automata-theoretic and decompositional approach (2006)
  13. Alur, Rajeev; Madhusudan, P.; Nam, Wonhong: Symbolic computational techniques for solving games (2005) ioport
  14. Alur, Rajeev; Madhusudan, P.; Nam, Wonhong: Symbolic computational techniques for solving games (2005) ioport
  15. Braunstein, Cécile; Encrenaz, Emmanuelle: CTL-property transformations along an incremental design process (2005)
  16. Cook, Byron; Kroening, Daniel; Sharygina, Natasha: Symbolic model checking for asynchronous Boolean programs (2005)
  17. Giannakopoulou, Dimitra; Păsăreanu, Corina S.; Barringer, Howard: Component verification with automatically generated assumptions (2005) ioport
  18. Jamroga, Wojciech; Dix, Jürgen: Model checking strategic abilities of agents under incomplete information (2005)
  19. Kacprzak, Magdalena; Penczek, Wojciech: Fully symbolic unbounded model checking for alternating-time temporal (logic^1). (2005) ioport
  20. van der Hoek, Wiebe; Wooldridge, Michael: On the logic of cooperation and propositional control (2005)