Dataset for "Reasoning about resources in the embedded systems language Hume"

Hans-Wolfgang Loidl (Creator)

Dataset

Description

Isabelle/HOL theory files, matching the paper
"Reasoning about resources in the embedded systems language Hume" in FOPARA'13

Date made available	Mar 2016
Publisher	Heriot-Watt University

Contact

[email protected]

DOI
10.17861/87c645c9-db55-4b6e-96f6-13ffbe046f15

Access Dataset

Hume_formalisation.tgz
File: application/gnutar, 135 KB
Type: Audiovisual

Cite this

DataSetCite