Efficient ω-regular language containment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 663 LNCS, Issue , 1993, Pages 396-409

  Hojati, Ramin ^a   Touati, Herve ^b   Kurshan, Robert P ^c   Brayton, Robert K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b DEC PRL ^*  (United States)

^c LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EMERSON; TRANSITIVE CLOSURE;

COMPUTER AIDED ANALYSIS;

EID: 27644431894     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56496-9_31     Document Type: Conference Paper

References (12)

1. G. Boudel, V. Roy, R. de Simone, D. Vergamini, "Process Calculi, from Theory to Practice: Verification Tools”, in Automatic Verification Methods for Finite State Systems, Joe Sifakis ed., LNCS 407,1989.
2. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang, “Symbolic Model Checking: 1020 states and Beyond" Logic in Computer Science, 1990.
3. Y. Choueka, “Theories of Automata on ω-Tapes: A Smplified Approach”, Journal of Computer and System Sciences 8,117-141,1974.
4. E. M. Clarke, E A. Emerson, A. P. Sistla. “Automatic Verification of Fimte-State Concurrent System Using Temporal Logic Specifications", ACM Transactions on Programming Languages and Systems. 8(2):244-263,1986.
5. E. A. Emerson, C. L. Lei. “Efficient Model Checking in Fragments of the Prepositional Mu-Calcuius”, In Symp. on Logic in Computer Science. IEEE, June 1986.
6. E A. Emerson, C. L. Lei, “Modalities for Model Checking: Branching Time Logic Strikes Back", Science of Computer Programming 8, 275-306, Elsevier Science Publishers, 1987.
7. E. M. Clarke, I. A. Draghicescu, R. P. Kurshan, “A Unified Approach for Showing Containment and Equivalence Between Various Types of ω-Automata". In Proceedings of Fifteenth Colloquium on Trees in Algebra and Programming, 1990.
8. Z. Har’El, R. Kurshan. “Software for Analytical Development of Communications Protocols”, ATT technical journal, 1990.
9. T. Kam, R. Brayton. “Multi-valued Decision Diagrams”, Electronics Research Laboratory, University of California, Berkeley, Memorandum No. UCB/ERL, M90/ 125,1990.
10. R. Kurshan. “Analysis of Discrete Event Coordination”, Lecture Notes in Computer Science, 1990.
11. H. Touati, H. Savoj, B. Lin, R. K. Brayton, A. S. Vincentelli, “Implicit State Enumeration of Finite State Machines Using BDD’s”, International Conference on Computer-Aided Design, 1990.
12. J H. Touati, R. Kurshan, R. Brayton. “Testing Language Contaimnent of ω-Automata Using BDDs", International Workshop on Formal Methods in VLSI Design, 1991.