Verified Lightweight Bytecode Verification

Concurrency Computation Practice and Experience - United Kingdom
doi 10.1002/cpe.597
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley

Related search

Verified Iptables Firewall Analysis and Verification

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Flexible and Efficient Measurement of Dynamic Bytecode Metrics

2006English

The Strengths and Behavioral Quirks of Java Bytecode Decompilers

2019English

A Formally Verified NAT Stack

2018English

A Mechanically Verified Language Implementation

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
1989English

What Can Be Verified Locally?

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2018English

Developing Verified Programs With Dafny

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Magic-Sets for Localised Analysis of Java Bytecode

Higher-Order and Symbolic Computation
2010English

Verified Validation of Program Slicing

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy