Enriched µ-Calculus Pushdown Module Checking.

Alessandro Ferrante Aniello Murano Mimmo Parente

Published in: LPAR (2007)

Keyphrases

model checking
verification method
type checking
consistency checking
genetic algorithm
artificial intelligence
machine learning
decision making
multiscale
expert systems
formal specification
cardinal directions
qualitative spatial reasoning
natural deduction