Login / Signup
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