Verification and synthesis of reactive programs
From MaRDI portal
Recommendations
Cited in
(32)- Program synthesis using realizability
- Hybrid verifications of reactive programs
- Synthesizing skeletons for reactive systems
- Automated verification of reactive and concurrent programs by calculation
- Incorporating monitors in reactive synthesis without paying the price
- Synthesis with finite automata
- Synthesizing structured reactive programs via deterministic tree automata
- Special issue: Synthesis and SYNT 2014
- Lazy synthesis
- Synthesizing reactive programs
- On synthesis of specifications with arithmetic
- Synthesizing structured reactive programs via deterministic tree automata
- Integrating discrete controller synthesis into a reactive programming language compiler
- scientific article; zbMATH DE number 4085004 (Why is no real title available?)
- scientific article; zbMATH DE number 177246 (Why is no real title available?)
- scientific article; zbMATH DE number 177523 (Why is no real title available?)
- Synthesis of Reactive(1) designs
- scientific article; zbMATH DE number 2000429 (Why is no real title available?)
- Compositional approach to the development of reactive algorithms
- scientific article; zbMATH DE number 2112979 (Why is no real title available?)
- Functional reactive programming with liveness guarantees
- From program verification to program synthesis
- Completeness of Conversion between Reactive Programs for Ultrametric Models
- Beyond the verification approach: the synthesis approach
- Synthesizing reactive systems from hyperproperties
- Reactive control improvisation
- Synthesis of asynchronous reactive programs from temporal specifications
- Bounded synthesis of reactive programs
- Temporal stream logic: synthesis beyond the Bools
- Reasoning about goal-directed real-time teleo-reactive programs
- Adapting behaviors via reactive synthesis
- Verifying specifications in the language L against temporal properties nonexpressible in this language
This page was built for publication: Verification and synthesis of reactive programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5447371)
