Survey and Consistency Checking of Formal Requirements Animations.

Christophe Ponsard Jean-Christophe Deprez

Published in: RE Workshops (2021)

Keyphrases

consistency checking
stochastic search
query answering
requirements specification
temporal reasoning
requirements engineering
formal model
temporal constraints
data sets
case study
mobile robot
computer graphics
path consistency
cardinal directions