Ghost Code in Action: Automated Verification of a Symbolic Interpreter

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-41600-3_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

On Symbolic Verification of Bitcoin’s Script Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automated Regression Testing Using Symbolic Execution

Elektronika ir Elektrotechnika
Electronic EngineeringElectrical
2011English

Automated Deduction for Verification

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2009English

Extending DIVINE With Symbolic Verification Using SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Security Protocol Verification: Symbolic and Computational Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Generation and Verification of Algorithms for Symbolic-Numeric Processing

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1998English

Consistent Metrics for Code Verification

2002English

Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
1995English

Automated Inductive Verification of Parameterized Protocols?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy