Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Under an Elsevier user license
open archive
Keywords
Boolean equation system
Diagnostic
Labeled transition system
Model-checking
Mu-calculus
Specification
Temporal logic
Verification
Cited by (0)
Copyright © 2002 Elsevier Science B.V. All rights reserved.