Specification and Verification of Modal Properties for Structured Systems.

Published in: ICGT (2012)

Keyphrases

formal methods
management system
asynchronous circuits
description logics
learning systems
model checking
real time
real world
database systems
software development
knowledge based systems
modal logic
automated verification