On Synthesis of Specifications with Arithmetic.
Rachel FaranOrna KupfermanPublished in: SOFSEM (2020)
Keyphrases
- program synthesis
- formal specification
- specification language
- arithmetic operations
- texture synthesis
- delay insensitive
- concurrent systems
- real world
- functional requirements
- floating point
- bounded model checking
- reactive systems
- artificial neural networks
- multiscale
- bayesian networks
- e learning
- artificial intelligence