Refinement and Modular Verification with Observers.

Agathe Merceron G. Michele Pinna

Published in: APAQS (2000)

Keyphrases

model checking
refinement process
formal verification
modular structure
information systems
decision making
formal methods
asynchronous circuits
concurrent systems
neural network
image processing
web services
ground truth
face verification
human observers
step wise