Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.

Peter T. Breuer Simon Pickin

Published in: SEW (2007)

Keyphrases

open source
model checking
case study
formal analysis
real time

open source projects
concurrent systems
database
verification method
asynchronous circuits

signature verification
face verification
small scale
metadata
artificial intelligence

databases
open source software
source code
person identification
high security