Automatic verification of concurrent systems using a formula-based compositional approach

• 1 July 2002
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 38  (8) , 531-564
• https://doi.org/10.1007/s00236-002-0084-5

Abstract

Keywords

• COMPLEX SYSTEM
• TRANSITION SYSTEM
• SIMPLE TASK
• COMPONENT PROCESS
• PARALLEL COMPOSITION