Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking.

Elena Dubrova Maxim Teslenko Ming Liu

Published in: ISMVL (2010)

Keyphrases

bounded model checking
multiple valued
model checking
formal verification
multiple valued logic
temporal logic
linear temporal logic
multi valued
boolean functions
multi agent systems
file organization
answer set programming