C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification Methodology in an Industrial Setup.
Lorenzo Servadei
Zhao Han
Michael Werner
Wolfgang Ecker
Keerthikumara Devarajegowda
Published in:
DSD (2019)
Keyphrases
</>
formal verification
model checking
bounded model checking
symbolic model checking
model checker
automated verification
industrial applications
program slicing
partial order
technology transfer