Transformation of TOCL temporal properties into OCL.

Mustafa Al-Lail Antonio Rosales Hector Cardenas Lars Hamann Alfredo Perez

Published in: MoDELS (Companion) (2022)

Keyphrases

temporal properties
model checking
formal methods
possibility theory
metamodel
temporal logic
test cases