Login / Signup
Efficient static analysis and verification of featured transition systems.
Maurice H. ter Beek
Ferruccio Damiani
Michael Lienhardt
Franco Mazzanti
Luca Paolini
Published in:
Empir. Softw. Eng. (2022)
Keyphrases
</>
static analysis
transition systems
model checking
concurrent systems
dynamic analysis
symbolic execution
java card
temporal logic
test generation
source code
formal specification
model checker
test suite
formal verification
learning algorithm
finite state
regular expressions
open source
xml documents