Property Verification within a Process Algebra Framework

The following sections are included:

• Introduction

• The Circal Process Algebra

  • Informal Semantics

  • Formal Semantics

• The Methodology

• Constraint-Based Modeling

• A Temporal Logic for Simultaneous Actions

• The Representation of Properties

  • Formula-Based Characterization

  • Model-Based Characterization

• Discussion and Future Work