E. Allen Emerson

1. Automatic verification of finite-state concurrent systems using temporal logic specifications
   1986/04/01 by E. M. Clarke, E. Allen Emerson, E. A. Emerson +2 · 27 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Formal Methods in Verification #Logic, programming, and type systems
2. “Sometimes” and “not never” revisited
   1986/01/02 by E. Allen Emerson, Joseph Y. Halpern · 21 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory
3. Modalities for model checking: branching time logic strikes back
   1987/06/01 by E. Allen Emerson, Chin-Laung Lei, Chin‐Laung Lei · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory