Login / Signup
Towards the Use of Model Checking for Performing Data Consistency Evaluation and Cleansing.
Mario Mezzanzanica
Mirko Cesarini
Fabio Mercorio
Roberto Boselli
Published in:
ICIQ (2012)
Keyphrases
</>
model checking
temporal logic
artificial intelligence
software engineering
temporal properties
reachability analysis