Formal Pervasive Verification of a Paging Mechanism.

Eyad Alkassar Norbert Schirmer Artem Starostin

Published in: TACAS (2008)

Keyphrases

formal methods
formal analysis
face verification
model checking
context aware
formal specification
artificial intelligence
computing environments
mechanism design
real time
face recognition
data model
formal verification
formal language
functional verification