JOSS Papers: formal verification

All Papers
4069
 Published Papers
3667
 Active Papers
402
published Published 11 months ago

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

TypeScript OpenQASM
@comp-phys-marc
10.21105/joss.08696
published Published almost 2 years ago

Satisfiability.jl: Satisfiability Modulo Theories in Julia

Julia
@elsoroka
10.21105/joss.06757
published Published about 2 years ago

mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory

@markblokpoel
10.21105/joss.06049
Displaying 3 papers

Journal of Open Source Software is an affiliate of the Open Source Initiative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066