An Automata-Theoretic Approach to Hardware/Software Co-verification

Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; synthesized a hybrid B

• Type: Conference
• Year: 2010
• Where: FASE
• Authors: Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
• Keywords: B¨uchi Pushdown System, FASE 2010, Pushdown System, Pushdown System Model, Software Engineering