Compositional Model Checking of Concurrent Systems

DOI10.1109/TC.2014.2329701zbMath1360.68606WikidataQ59859467 ScholiaQ59859467MaRDI QIDQ2982239

Emmanuel Rodriguez, Chris Myers, Zhen Zhang, Hao Zheng, Ying-ying Zhang

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Compositional Model Checking of Concurrent Systems