Lem

MaRDI QIDQ21378swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-22863-6_27

Described by source

• Lem: reusable engineering of real-world semantics

Cited in

(6)

• An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
• CoqJVM
• TSOTool
• Haskabelle
• TSL
• Lem: a lightweight tool for heavyweight semantics

This page was built for software: Lem