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

Coverity raises the bar for static analysis
Coverity raises the bar for static analysis
At the 2007 Embedded Systems Conference, Coverity has unveiled what it claims to be the first source code analysis engine based on Boolean satisfiability.
Details
2007-09-24 00:00:00
 
Back / to news list

Generate page: 0.003 sec © DDR'Service, 2007-2026