CoqJVM

swMATH2002MaRDI QIDQ14550FDOQ14550

Author name not available (Why is that?)

Described by source

• CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types

Cited In (3)

• A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
• Animating the Formalised Semantics of a Java-Like Language
• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model

This page was built for software: CoqJVM