C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Explicit-Symbolic Modelling for Formal Verification.
Umberto Souza da Costa
Sérgio Vale Aguiar Campos
Newton Vieira
David Déharbe
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
neural network
high level
temporal logic
knowledge representation
knowledge acquisition
symbolic representation
functional verification
connectionist models
symbolic description