Specification and Verification of Institutions Through Status Functions.

Francesco Viganò Marco Colombetti

Published in: COIN@AAMAS/ECAI (2006)

Keyphrases

formal verification
formal methods
asynchronous circuits
high level
model checking
protocol specification
real time
data sets
machine learning
data mining
expert systems
basis functions
signature verification
verification method
concurrent systems