Login / Signup
Formal verification of safety of polymorphic heterogeneous multi-core architectures.
Miroslav N. Velev
Ping Gao
Published in:
ISQED (2014)
Keyphrases
</>
formal verification
model checking
bounded model checking
model checker
automated verification
symbolic model checking
temporal logic
program slicing
expert systems
heterogeneous data
heterogeneous networks
knowledge base
safety critical
functional verification