Login / Signup
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