CoqJVM

swMATH2002MaRDI QIDQ14550FDOQ14550

Author name not available (Why is that?)

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