PAT swMATH ID: 13258 Software Authors: Jun Sun, Yang Liu , Jin Song Dong , Jun Pang Description: PAT is a self-contained framework for to support composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such as deadlock-freeness, divergence-freeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking. Homepage: http://pat.comp.nus.edu.sg/ Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; ERA-PAT; z3; Isabelle; Circus; IMITATOR; GitHub; FDR3; CSP-prover; Z; P-Lingua; PTSC; Maude; LTSmin; Casper Cited in: 33 Publications Further Publications: http://pat.comp.nus.edu.sg/?page_id=2599 all top 5 Cited by 76 Authors 10 Liu, Yang 9 Dong, JinSong 9 Sun, Jun 5 André, Étienne 4 Esparza, Javier 3 Sun, Jing 2 Carvalho, Gustavo 2 Cavalcanti, Ana 2 Jaax, Stefan 2 Li, Yi 2 Lin, Shangwei 2 Liu, Yezhou 2 Nicolescu, Radu 2 Sampaio, Augusto C. A. 2 Zhao, Yongxin 1 Al-Humaimeedy, Abeer S. 1 Bae, Kyungmin 1 Baxter, James 1 Benmoussa, Mohamed Mahdi 1 Blondin, Michael 1 Choppy, Christine 1 Cleaveland, Rance 1 Colvin, Robert J. 1 Cranen, Sjoerd 1 de Ruiter, Joeri 1 de Vink, Erik P. 1 Falcão, Diogo 1 Feng, Zhiyong 1 Fernández, Maribel 1 Fokkink, Willem Jan 1 Fukuda, Akira 1 Ganty, Pierre 1 Groote, Jan Friso 1 Hayes, Ian J. 1 Henderson, Alec 1 Hou, Zhe 1 Hu, Jing 1 Keiren, Jeroen J. A. 1 Kong, Weiqiang 1 Leroux, Jérôme 1 Li, Xiaohong 1 Li, Xiaoru 1 Liu, Yan 1 Long, Teng 1 Luu, Anh Tuan 1 Majumdar, Rupak 1 Meseguer Guaita, José 1 Meyer, Philipp J. 1 Mota, Alexandre C. 1 Nguyen, Truong Khanh 1 Ohsaki, Hitoshi 1 Pang, Jun 1 Qin, Shengchao 1 Raskin, Mikhail 1 Ribeiro, Pedro 1 Roscoe, Andrew William 1 Shi, Ling 1 Si, Yuanjie 1 Smolka, Scott A. 1 Stappers, Frank P. M. 1 Taguchi, Kenji 1 Tolmach, Palina 1 Van Tang, Nguyen 1 Weil-Kennedy, Chana 1 Wesselink, Wieger 1 Willemse, Tim A. C. 1 Williams, David M. 1 Xie, Wanling 1 Xu, Guangquan 1 Xu, Qiwen 1 Yamagata, Yoriyuki 1 Yang, Xiaohu 1 Zhang, Shaojie 1 Zhang, Wenhui 1 Zhang, Xian 1 Zhu, Huibiao all top 5 Cited in 11 Serials 6 Formal Aspects of Computing 2 Acta Informatica 2 Formal Methods in System Design 2 Frontiers of Computer Science 1 Science of Computer Programming 1 Real-Time Systems 1 Distributed Computing 1 Computer Science Journal of Moldova 1 Journal of Applied Mathematics 1 Texts in Computer Science 1 Journal of Membrane Computing all top 5 Cited in 6 Fields 32 Computer science (68-XX) 3 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year