UML Verification with Verics

Authors

  • Artur Niewiadomski
  • Wojciech Penczek

Abstract

We show how to verify UML specifications against properties expressed by CTL-like formulas using the symbolic model checker Verics. Our method is illustrated with an example showing a verification of Alternating Bit Protocol.

Downloads

Download data is not yet available.
Cover of Studia Informatica Journal

Downloads

Published

15.06.2007

Issue

Vol. 8 No. 1 (2007): Studia Informatica. Systems and Information Technology

Section

Article

How to Cite

Niewiadomski, A., & Penczek, W. (2007). UML Verification with Verics. Studia Informatica. System and Information Technology, 8(1), 19-31. https://czasopisma.uws.edu.pl/studiainformatica/article/view/2842