Bounded model checking for weak alternating büchi automata

• Published in: Lecture notes in computer science pp. 95 - 108
• Main Authors: HELJANKO, Keijo, JUNTTILA, Tommi, KEINÄNEN, Misa, LANGE, Martin, LATVALA, Timo
• Format: Conference Proceeding
• Language: English
• 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