Towards Model Checking Video Streams Using VoxLogicA on GPUs.
Laura BussiVincenzo CianciaFabio GadducciDiego LatellaMieke MassinkPublished in: DataMod (2021)
Keyphrases
- video streams
- model checking
- temporal logic
- model checker
- formal verification
- finite state
- video data
- automated verification
- temporal properties
- formal specification
- partial order reduction
- finite state machines
- symbolic model checking
- reachability analysis
- computation tree logic
- bounded model checking
- transition systems
- process algebra
- general purpose
- pspace complete
- timed automata
- verification method
- concurrent systems
- video frames
- detecting moving objects
- epistemic logic
- linear temporal logic
- formal methods
- knowledge base
- metadata
- image sequences
- artificial intelligence
- database