Service manuals, schematics, documentation, applications, datasheets, electronics

Coverity raises static analysis for codes a notch

The concept of Bo 5b4 olean satisfiability is being applied to identify "bugs" in software code.
Details

2007-09-19 15:37:00

Back / to news list