Patch Specifications via Product Programs.
Cristian CadarDaniel SchemmelArindam SharmaPublished in: FormaliSE (2023)
Keyphrases
- control flow
- recursive programs
- image patches
- life cycle
- formal specification
- delay insensitive
- finite state machines
- product design
- product development
- information systems
- concurrent systems
- product line
- transformation rules
- formal verification
- website
- specification language
- data model
- programming environment
- search engine
- high level
- face recognition
- model checking
- natural images