Static analysis of featured transition systems.

Maurice H. ter Beek Ferruccio Damiani Michael Lienhardt Franco Mazzanti Luca Paolini

Published in: SPLC (A) (2019)

Keyphrases

static analysis
transition systems
model checking
concurrent systems
temporal logic
dynamic analysis
finite state
source code
practical reasoning
control flow
test suite
model checker
regular expressions
reactive systems
data flow
formal specification
domain specific
formal verification