Login / Signup

TPV: A Tool for Validating Temporal Properties in UML Class Diagrams.

Mustafa Al-LailAntonio Rosales ViescaHector CardenasMohammad ZarourAlfredo 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