Login / Signup
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
Hendrik Göttmann
Isabelle Bacher
Nicolas Gottwald
Malte Lochau
Published in:
VaMoS (2021)
Keyphrases
</>
static analysis
consistency checking
source code
dynamic analysis
query answering
data sets
symbolic execution
first order logic
incomplete information
temporal constraints
high level
test cases
qualitative and quantitative
regular expressions