A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
Cezara DragoiGheorghe StefanescuPublished in: CoRR (2008)
Keyphrases
- spatio temporal
- asynchronous circuits
- symbolic execution
- model checking
- spatial and temporal
- dynamic logic
- hardware designs
- verification method
- user friendly
- real world
- space time
- linear time temporal logic
- model checker
- automated reasoning
- bounded model checking
- virtual reality
- moving objects
- classical logic
- image sequences
- recursive programs
- declarative programming
- formal verification
- predicate logic
- spatio temporal databases
- spatial temporal
- answer sets
- modal logic
- temporal logic
- computer graphics
- structured data
- action recognition
- user interface