1715 search results - page 133 / 343 » Domain-Specific Program Checking |
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
124
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
104
click to vote
ENTCS
2008
15 years 2 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
137
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
110
click to vote
ISPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...