29 search results - page 4 / 6 » Precise Dynamic Verification of Confidentiality |
CCS
1998
ACM
14 years 3 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
ENTCS
2002
13 years 10 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
PADL
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
RECOMB
2009
Springer
14 years 11 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...