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:
Fundam. Informaticae (2021)
Keyphrases
</>
real time
hardware designs
control system
real time systems
database
high level
parameter values
input parameters
program synthesis
functional programs
computer vision
low cost
vision system
model checking
automatic programming
data abstraction
symbolic execution