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

  title={ACTLW - An action-based computation tree logic with unless operator},
  author={Robert Meolic and Tatjana Kapus and Zmago Brezocnik},
  journal={Inf. Sci.},
1 Model checkers for systems represented by labelled transition systems ar not as extensively used as those 2 for systems represented by Kripke structures. This is partially due to the la ck of an elegant formal language 3 for property specification which would not be as raw as, for example, H ML yet also not as complex as, for 4 example,μ-calculus. This paper proposes a new action-based propositional bra ching-time temporal logic 5 ACTLW, which enhances popular computation tree logic (CTL… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 14 extracted citations


Publications referenced by this paper.
Showing 1-10 of 34 references

Severo: A symbolic equivalen ce verification tool.Tesi di Laurea

  • M. Ferrero, M. Cusinato
  • Politecnico di Torino, Italy,
  • 1994
Highly Influential
4 Excerpts

and E

  • A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese
  • T ronci. A Symbolic Model Checker for ACTL. In…
  • 1998
Highly Influential
4 Excerpts

Automated Analysis of Mutual Exclusion Algorithms using CCS

  • D. J. Walker
  • Proceedings of the 13 th IEEE International…
  • 2007

Mode lling

  • M. C. Pinto, L. Foss, J.C.M. Mombach, L. Ribeiro
  • property verification and behavioural equivalence…
  • 2007

Similar Papers

Loading similar papers…