Login / Signup
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Rebeca P. Díaz Redondo
José Juan Pazos-Arias
Ana Fernández Vilas
Jorge García Duque
Alberto Gil-Solla
Published in:
Ershov Memorial Conference (2003)
Keyphrases
</>
formal verification
consistency checking
model checking
design process
metadata
database systems
knowledge based systems
database
multi agent
relational databases
knowledge representation
knowledge discovery
knowledge management
spatial information
bounded model checking