A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.
Miguel RomeroSergio RamírezCamilo RochaFrank ValenciaPublished in: CoRR (2019)
Keyphrases
- asynchronous circuits
- formal verification
- transition systems
- model checking
- verification method
- spatial constraints
- bounded model checking
- active rules
- model checker
- linear temporal logic
- spatial information
- concurrent systems
- spatio temporal
- termination analysis
- formal methods
- formal language
- constraint language
- spatial data
- temporal logic
- spatial relationships
- spatial relations
- spatial databases
- logic programming
- spatial distribution
- high level
- space time
- monte carlo
- state machine
- data exchange
- set theory
- protocol specification