Modeling, refining and analyzing Incomplete B\"uchi Automata
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
TL;DR
This paper explores the theoretical foundations of Incomplete B"uchi Automata (IBAs) to support iterative development of sequential systems, focusing on modeling, refining, and analyzing incomplete automata.
Contribution
It introduces a theoretical framework for using IBAs in the iterative development process of sequential systems, enhancing understanding of their refinement and analysis.
Findings
IBAs facilitate modeling of incomplete system specifications
Theoretical foundations support iterative refinement of IBAs
IBAs enable analysis of system properties during development
Abstract
Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully specified, implementation. This report discusses the theoretical foundations that allow Incomplete B\"uchi Automata (IBAs) to be used in the iterative development of a sequential system.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · DNA and Biological Computing · semigroups and automata theory