Bounded model checking for weak alternating büchi automata

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 95 - 108
Main Authors HELJANKO, Keijo, JUNTTILA, Tommi, KEINÄNEN, Misa, LANGE, Martin, LATVALA, Timo
Format Conference Proceeding
LanguageEnglish
Published New York Springer 2006
Berlin
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Language processing and microprogramming
Software
Software engineering
Büschi automata
Propositional logic
Specification language
Model checking
Regular language
Alternating automata
Program verification
Online AccessGet full text

Cover

More Information
ISBN:354037406X
9783540374060
ISSN:0302-9743
1611-3349
DOI:10.1007/11817963_12