1304 search results - page 7 / 261 » Model Checking C Programs Using F-SOFT |
ENTCS
2006
14 years 11 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...
114
click to vote
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
116
click to vote
SPIN
2012
Springer
13 years 2 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
104
Voted
MEMOCODE
2003
IEEE
15 years 4 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...
101
click to vote
DAC
2008
ACM
16 years 18 days ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...