238 search results - page 3 / 48 » Model Checking DSL-Generated C Source Code |
MEMOCODE
2003
IEEE
13 years 11 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
ENTCS
2006
13 years 5 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
SP
2002
IEEE
13 years 5 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
ENTCS
2007
13 years 5 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...