Specification and Verification of Media Constraints using UPAAL.

Howard Bowman Giorgio P. Faconti Mieke Massink

Published in: DSV-IS (1998)

Keyphrases

formal verification
high level
multimedia
formal methods
real time
model checking
constrained optimization
specification language
asynchronous circuits
neural network
data mining
semi supervised
constraint satisfaction
functional verification
protocol specification