Vacuity Checking in the Modal Mu-Calculus.

Yifei Dong Beata Sarna-Starosta C. R. Ramakrishnan Scott A. Smolka

Published in: AMAST (2002)

Keyphrases

transition systems
model checking
temporal logic
modal logic
verification method
type checking
nonmonotonic logics
computer algebra
search engine
pairwise
clustering method
formal specification
formal language
proof procedure
sequent calculus
tableau calculus