Proof Score Approach to Verification of Liveness Properties.

Kazuhiro Ogata Kokichi Futatsugi

Published in: SEKE (2005)

Keyphrases

theorem proving
website
database
real world
information systems
face recognition
search algorithm
relational databases
information retrieval systems
first order logic
structural properties
desirable properties