Login / Signup
Case studies on automated verification with slope boundaries for block diagrams.
Christian Dernehl
Jan Kühn
Stefan Kowalewski
Published in:
Comput. Lang. Syst. Struct. (2018)
Keyphrases
</>
automated verification
case study
model checking
automated reasoning
formal verification
lessons learned
temporal logic
open source
real world
object boundaries
software development
knowledge management
design process
graph theory
data mining
dct coefficients