A Model-Based Approach to Combining Static and Dynamic Verification Techniques.

Shaun Azzopardi Christian Colombo Gordon J. Pace

Published in: ISoLA (1) (2016)

Keyphrases

model checking
real world
information systems
image sequences
cooperative
social networks
decision making
knowledge base
image segmentation
relational databases
probabilistic model
digital images
distributed systems
formal analysis
formal verification