Synthesizing structured reactive programs via deterministic tree automata

MaRDI QIDQ3388750zbMATH OpenFDO

Authors Benedikt Brütsch

Publication date 6 May 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR.16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Synthesizing structured reactive programs via deterministic tree automata
• Bounded synthesis of reactive programs
• Verification and synthesis of reactive programs
• Synthesizing reactive programs
• scientific article; zbMATH DE number 4085004

Cited in

(2)

• Synthesizing structured reactive programs via deterministic tree automata
• Synthesizing reactive programs

This page was built for publication: Synthesizing structured reactive programs via deterministic tree automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3388750)