Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.
Peter T. BreuerSimon PickinPublished 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