Publication:3204034
From MaRDI portal
zbMath0716.68035MaRDI QIDQ3204034
Edmund M. Clarke, K. L. McMillan, David E. Long
Publication date: 1989
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B70: Logic in computer science
Related Items
Verification of evolving software via component substitutability analysis, A compositional \(\mu\)-calculus proof system for statecharts processes, Compositional minimisation of finite state systems using interface specifications, Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach, Compositional Verification for Component-Based Systems and Application, Automatic Synthesis of Assumptions for Compositional Model Checking, Grey-Box Checking, TTL : a formalism to describe local and global properties of distributed systems