Login / Signup
Formal Verification of a Programmable Hypersurface.
Panagiotis Kouvaros
Dimitrios Kouzapas
Anna Philippou
Julius Georgiou
Loukas Petrou
Andreas Pitsillides
Published in:
FMICS (2018)
Keyphrases
</>
formal verification
model checking
low cost
symbolic model checking
model checker
bounded model checking
automated verification
general purpose
single chip
program slicing
fuzzy sets
prediction error
functional verification
knowledge based systems