Soundness of a Logic-Based Verification Method for Imperative Loops.

Madalina Erascu Tudor Jebelean

Published in: SYNASC (2012)

Keyphrases

verification method
model checking
temporal logic
knowledge representation
database
real time
feature selection
general purpose
open source
artificial intelligence
information systems
three dimensional
data analysis
special case