Tableaux for Realizability of Safety Specifications.
Montserrat HermoPaqui LucioCésar SánchezPublished in: FM (2023)
Keyphrases
- modal logic
- formal specification
- high level
- functional dependencies
- decision procedures
- delay insensitive
- specification language
- automated reasoning
- information retrieval
- formal language
- functional requirements
- logic programs
- operational semantics
- multi agent systems
- bayesian networks
- intelligent vehicles
- database
- coal mining