Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Model Checking
Related Publications
(18)
On model checking for the µcalculus and its fragments
Local Model Checking in the Modal MuCalculus
Propositional Temporal Logics and Their Use in Model Checking
Linear vs. Branc...
CTL* and ECTL* as Fragments of the Modal µCalculus
Subscribe
Academic
Publications
Efficient Model Checking in Fragments of the Propositional MuCalculus (Extended Abstract)
Efficient Model Checking in Fragments of the Propositional MuCalculus (Extended Abstract),E. Allen Emerson,Chinlaung Lei
Edit
Efficient Model Checking in Fragments of the Propositional MuCalculus (Extended Abstract)
(
Citations: 112
)
BibTex

RIS

RefWorks
Download
E. Allen Emerson
,
Chinlaung Lei
Conference:
Logic in Computer Science  LICS
, pp. 267278, 1986
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.informatik.unitrier.de
)
Citation Context
(19)
...Let us just mention a few references: [
10
, 9, 14, 15, 16, 30, 31, 32]...
Stefan Göller
,
et al.
Fixpoint Logics over Hierarchical Structures
...Emerson and Lei consider a general fairness criterion in [
13
], which is a disjunction of strong fairness conditions...
Ariel Cohen
,
et al.
A Dash of Fairness for Compositional Reasoning
...The symbolic approach through fixed point computation is quadratic in the size of A [
EL86
]...
Laurent Doyen
,
et al.
Antichains for the AutomataBased Approach to ModelChecking
...Standard algorithms in BDDbased model checking, which are typically variants of the EmersonLei algorithm [
46
], perform a nested fixed point computation, which makes application of heuristics difficult...
Stefan Edelkamp
,
et al.
Survey on Directed Model Checking
...[6,15]) several other logic such as ECTL ∗ , ACTL and ACTL ∗ among actionbased logic [52,53] and PDL, CTL, and CTL ∗ among statebased logics [12,
19
]...
Gabriele Lenzini
,
et al.
A Uniform Approach to Security and FaultTolerance Specification and A...
Sort by:
Citations
(112)
Fixpoint Logics over Hierarchical Structures
(
Citations: 4
)
Stefan Göller
,
Markus Lohrey
Journal:
Theory of Computing Systems / Mathematical Systems Theory  MST
, vol. 48, no. 1, pp. 93131, 2011
A Dash of Fairness for Compositional Reasoning
(
Citations: 2
)
Ariel Cohen
,
Kedar S. Namjoshi
,
Yaniv Sa’ar
Conference:
Computer Aided Verification  CAV
, pp. 543557, 2010
Antichains for the AutomataBased Approach to ModelChecking
(
Citations: 4
)
Laurent Doyen
,
JeanFrancois Raskin
,
Orna Grumberg
Journal:
Logical Methods in Computer Science  LMCS
, vol. 5, no. 1, 2009
Automata: from logics to algorithms
(
Citations: 7
)
Moshe Y. Vardi
,
Thomas Wilke
Published in 2008.
Survey on Directed Model Checking
(
Citations: 5
)
Stefan Edelkamp
,
Viktor Schuppan
,
Dragan Bosnacki
,
Anton Wijs
,
Ansgar Fehnker
,
Husain Aljazzar
Conference:
Model Checking and Artificial Intelligence  MoChArt
, pp. 6589, 2008