An embedding of timed transition systems in \(HOL\)
type: Item
instance of: scholarly article
title: An embedding of timed transition systems in \(HOL\)
zbMATH Open document ID: 0782.68079
DOI: 10.1007/BF01383987
author: Roger Hale
author: R. Cardell-Oliver
author: John H. Herbert
published in: Formal Methods in System Design
publication date: 1994-03-13T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 469142
zbMATH Keywords: specifying and reasoning about real-time systems
zbMATH Keywords: HOL theorem prover
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: Temporal proof methodologies for timed transition systems
full work available at URL: https://doi.org/10.1007/bf01383987
OpenAlex ID: W3021213848
description: scientific article; zbMATH DE number 469142