Login / Signup
ACTLW - An action-based computation tree logic with unless operator.
Robert Meolic
Tatjana Kapus
Zmago Brezocnik
Published in:
Inf. Sci. (2008)
Keyphrases
</>
computation tree logic
model checking
temporal logic
transition systems
bounded model checking
epistemic logic
temporal properties