Automated synthesis of crossbars for nanoscale computing using formal methods.

Alvaro Velasquez Sumit Kumar Jha

Published in: NANOARCH (2015)

Keyphrases

formal methods
formal analysis
safety critical
knowledge based systems
formal specification
provably correct
model checking
process algebra
model checker
artificial intelligence
temporal properties
software engineering
data mining
development lifecycle
mechanical properties
expert systems
case study