A Logic for the Description of Non-deterministic Programs and Their Properties

Susanne Graf Joseph Sifakis

Published in: Inf. Control. (1986)

Keyphrases

structural properties
derivation rules
control flow
predicate logic
high level
fixpoint
set theory
epistemic logic
declarative semantics
imperative programs