CoqJVM

MaRDI QIDQ14550swMATHFDO

Official website http://coq.inria.fr/documentation

Described by source

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

Cited in

(7)

• A trustworthy monadic formalization of the ARMv7 instruction set architecture
• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
• Lem
• TSOTool
• FinFuns
• TSL
• Animating the formalised semantics of a Java-like language

This page was built for software: CoqJVM