Verification of Pushdown Systems Using Omega Algebra with Domain.

Vincent Mathieu Jules Desharnais

Published in: RelMiCS (2005)

Keyphrases

model checking
expert systems
domain knowledge
management system
knowledge based systems
automated verification
data sets
data structure
hidden markov models
computer systems
first order logic
retrieval systems
domain independent
temporal logic
relational algebra
asynchronous circuits