Non-temporal logic performance of an atomic switch network.

Kelsey Scharnhorst Walt Woods Christof Teuscher Adam Z. Stieg James K. Gimzewski

Published in: NANOARCH (2017)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
network structure
linear temporal logic
mazurkiewicz traces
temporal knowledge
verification method
bounded model checking
computation tree logic
reactive systems