TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames.

Yuanyang Wang Xiaohong Chen Ling Yin

Published in: APRES (2015)

Keyphrases

video frames
user requirements
modeling tool
analysis tool
genetic algorithm
decision trees
multi view
model checking
reference frame
modeling language
multi frame