Compositional Model Checking of Concurrent Systems

DOI10.1109/TC.2014.2329701MaRDI QIDQ2982239zbMATH OpenWikidataFDO

Authors Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang

Publication date 16 May 2017

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

Full work available at URL https://doi.org/10.1109/TC.2014.2329701

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)

Cited in

(10)

• scientific article; zbMATH DE number 7438162 (Why is no real title available?)
• Compact and efficiently verifiable models for concurrent systems
• Computer Aided Verification
• Model checking concurrency and causality
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Model-based construction and verification of critical systems using composition and partial refinement
• The complexity of model checking multi-stack systems
• scientific article; zbMATH DE number 967185 (Why is no real title available?)
• The Complexity of Model Checking Multi-stack Systems
• Model checking of concurrent software systems via heuristic-guided SAT solving

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982239)