On the formal interpretation and behavioural consistency checking of SysML blocks.

Jaco Jacobs Andrew Simpson

Published in: Softw. Syst. Model. (2017)

Keyphrases

consistency checking
formal methods
stochastic search
query answering
temporal reasoning
temporal constraints
modeling language
high level
formal specification
knowledge representation
worst case
model checking
data exchange