Login / Signup
Formal verification of conflict detection algorithms.
César A. Muñoz
Victor Carreño
Gilles Dowek
Ricky W. Butler
Published in:
Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
</>
formal verification
learning algorithm
model checking
orders of magnitude
data structure
graph theory
automated verification
conflict detection
artificial intelligence
computational complexity
test cases
symbolic model checking