A symbolic justice violations transition system for unrealizable GR(1) specifications.
Aviv KuventShahar MaozJan Oliver RingertPublished in: ESEC/SIGSOFT FSE (2017)
Keyphrases
- high level
- state transition
- information sharing
- control flow
- symbolic representation
- neural network
- connectionist systems
- transition model
- connectionist models
- formal specification
- specification language
- concurrent systems
- delay insensitive
- symbolic description
- databases
- written in natural language
- finite state machines
- expert systems
- website
- search engine
- formal verification
- artificial intelligence
- information retrieval
- symbolic reasoning
- connectionist learning