Approximate verification in an open source world.

Peter T. Breuer Simon Pickin

Published in: Innov. Syst. Softw. Eng. (2008)

Keyphrases

open source
open source software
case study
source code
model checking
data sets
signature verification
open source projects
physical world
formal methods
concurrent systems
world model
formal verification
web services
databases
cloud computing
multiscale
computer vision
high security