Login / Signup

ACTLW - An action-based computation tree logic with unless operator.

Robert MeolicTatjana KapusZmago Brezocnik
Published in: Inf. Sci. (2008)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • transition systems
  • bounded model checking
  • epistemic logic
  • temporal properties