Login / Signup
Automating Full Functional Verification of Programs with Loops.
Juan P. Galeotti
Carlo A. Furia
Eva May
Gordon Fraser
Andreas Zeller
Published in:
CoRR (2014)
Keyphrases
</>
functional verification
formal verification
computer programs
information systems
hardware software