Formal Proofs of Code Generation and Verification Tools

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-10431-7_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Formal Verification of Security Properties of Smart Card Embedded Source Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Towards Self-Verification in Finite Difference Code Generation

2017English

Formal Specification and Verification

2019English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Proofs for Theoretical Properties of Newton's Method

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2011English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Formal Verification of NTRUEncrypt Scheme

International Journal of Computer Network and Information Security
2016English

Formal Verification of Netlog Protocols

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy