Quantitative Verification of Weighted Kripke Structures.
Patricia BouyerPatrick GardyNicolas MarkeyPublished in: ATVA (2014)
Keyphrases
- model checking
- qualitative and quantitative
- temporal logic
- information retrieval
- formal verification
- inference rules
- desirable properties
- concurrent systems
- database
- weighted sum
- case study
- modal logic
- multi agent systems
- data structure
- objective function
- formal analysis
- feature selection
- weighted distance
- verification method
- genetic algorithm