C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction.
Franck Cassez
Peter Gjøl Jensen
Kim Guldstrand Larsen
Published in:
CoRR (2020)
Keyphrases
</>
real time
hardware designs
model checking
high level
low cost
functional programs
control system
general purpose
high speed
texture synthesis
signature verification
symbolic execution