×

MCMAS

swMATH ID: 9463
Software Authors: Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Description: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering high-level agents attitudes. In particular, specification languages based on epistemic logic [7], or logics for knowledge, have proven useful in a variety of areas including robotics, security protocols, web-services, etc. For example, security specifications involving anonymity [4] are known to be naturally expressible in epistemic formalisms as they explicitly state the lack of different kinds of knowledge of the principals.
Homepage: http://link.springer.com/chapter/10.1007/978-3-642-02658-4_55
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; PRISM-games; SPIN; EAGLE; NuSMV; CUDD; EVE; PRALINE; GIST; Uppaal; AgentSpeak; GOLOG; GitHub; SMCDEL; Maude; jMocha
Referenced in: 81 Publications
all top 5

Referenced by 127 Authors

11 Lomuscio, Alessio
9 Murano, Aniello
7 Jamroga, Wojciech
6 Bozzelli, Laura
6 Molinari, Alberto
6 Montanari, Angelo
6 Peron, Adriano
5 Belardinelli, Francesco
5 Chen, Taolue
5 Gutierrez, Julian
5 Kwiatkowska, Marta Z.
5 Perelli, Giuseppe
5 Raimondi, Franco
5 Wooldridge, Michael J.
4 Alechina, Natasha
4 Malvone, Vadim
4 Mogavero, Fabio
4 Penczek, Wojciech
4 Qu, Hongyang
4 Sala, Pietro
4 Simaitis, Aistis
3 Forejt, Vojtěch
3 Logan, Brian
3 Rubin, Sasha
3 Sorrentino, Loredana
3 Su, Kaile
3 van der Meyden, Ron
2 Cohen, Mika
2 De Giacomo, Giuseppe
2 Dennis, Louise Abigail
2 Dima, Cătălin
2 Gammie, Peter
2 Harrenstein, Paul
2 Knapik, Michal Jozef
2 Kurpiewski, Damian
2 Lespérance, Yves
2 Luo, Xiangyu
2 Markey, Nicolas
2 Pardo, Raúl
2 Patrizi, Fabio
2 Primiero, Giuseppe
2 Schneider, Gerardo
2 Vardi, Moshe Ya’akov
2 Webster, Matt
2 Zbrzezny, Andrzej
1 Aminof, Benjamin
1 Balliu, Musard
1 Bednarczyk, Marek A.
1 Benevides, Mario R. F.
1 Bentahar, Jamal
1 Bolander, Thomas
1 Boureanu, Ioana
1 Bouyer, Patricia
1 Busard, Simon
1 Čermák, Petr
1 Charrier, Tristan
1 Chen, Aixiang
1 Chen, Qingliang
1 Choi, Jiyoung
1 Condurache, Rodica
1 Dam, Mads
1 D’Asaro, Fabio Aurelio
1 Dechesne, Francien
1 Demri, Stéphane P.
1 Dix, Jurgen
1 Dssouli, Rachida
1 Duan, Zhenhua
1 El-Menshawy, Mohamed
1 Enea, Constantin
1 Engelhardt, Kai
1 Ezekiel, Jonathan
1 Galimullin, Rustam
1 Gardy, Patrick
1 Gattinger, Malvin
1 Gu, Ming
1 Guelev, Dimitar P.
1 Huang, Chung-Hao
1 Huang, Xiaowei
1 Kim, Seungkeun
1 Konikowska, Beata
1 Kouvaros, Panagiotis
1 Laroussinie, François
1 Lorini, Emiliano
1 Luo, Cheng
1 Machado, Vitor
1 Martí-Oliet, Narciso
1 Mikulski, Łukasz
1 Najib, Muhammad
1 Nguyen Hoang Nga
1 Nguyen, Hoang Nga
1 Norman, Gethin
1 Parente, Mimmo
1 Patra, Manas K.
1 Pecheur, Charles
1 Pilecki, Jerzy
1 Pinchinat, Sophie
1 Pirovano, Edoardo
1 Pita, Isabel
1 Rakib, Abdur
1 Rubio, Rubén
...and 27 more Authors

Referencing Publications by Year