scientific article; zbMATH DE number 7378548

DOI10.4230/LIPIcs.CONCUR.2018.4MaRDI QIDQ5009416

Ming-Hsien Tsai, Bow-Yaw Wang, Andy Polyakov, Bo-Yin Yang

Publication date: 4 August 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cryptographyformal verificationassembly programs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver

Uses Software

• GitHub
• HACL*

Cites Work

• Unnamed Item
• Certifying assembly with formal security proofs: the case of BBS
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
• Hoare Logic for Realistically Modelled Machine Code

This page was built for publication: