Login / Signup
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams.
Mustafa Al-Lail
Antonio Rosales Viesca
Hector Cardenas
Mohammad Zarour
Alfredo J. Perez
Published in:
ICSE Companion (2024)
Keyphrases
</>
temporal properties
uml class diagrams
model checking
class diagram
formal methods
class diagrams
possibility theory
expert systems