2881 search results - page 90 / 577 » Model Checking for Programming Languages using Verisoft |
141
click to vote
CC
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
150
click to vote
JFP
2008
15 years 4 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
131
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
131
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
123
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...