TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.
Jie HeDejan NickovicEzio BartocciRadu GrosuPublished in: DAC (2023)
Keyphrases
- formal specification
- model checking
- object oriented design
- specification languages
- specification language
- formal methods
- temporal difference
- reverse engineering
- concurrent systems
- process algebra
- reinforcement learning
- td learning
- learning algorithm
- asynchronous circuits
- reinforcement learning algorithms
- software engineering
- hand drawn
- design methodology
- formal specification language
- open source
- protocol specification