1304 search results - page 101 / 261 » Model Checking C Programs Using F-SOFT |
107
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
135
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
140
Voted
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
131
click to vote
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
115
click to vote
SLP
1993
15 years 4 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...