2881 search results - page 250 / 577 » Model Checking for Programming Languages using Verisoft |
202
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
188
click to vote
FMAM
2010
15 years 4 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
243
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
180
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
172
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...