Login / Signup
Formal Verification of a Programmable Hypersurface.
Panagiotis Kouvaros
Dimitrios Kouzapas
Anna Philippou
Julius Georgiou
Loukas Petrou
Andreas Pitsillides
Published in:
CoRR (2018)
Keyphrases
</>
formal verification
model checking
bounded model checking
low cost
model checker
general purpose
symbolic model checking
prediction error
automated verification
program slicing
digital signal processors
software engineering
fault localization
functional verification