Login / Signup
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