A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis.

Giuseppe De Ruvo Antonella Santone

Published in: WETICE (2014)

Keyphrases

formal methods
formal analysis
model checking
artificial intelligence
model checker
knowledge based systems
safety critical
database
query language
protocol specification