An automatically verified prototype of the Tokeneer ID station specification
type: Item
instance of: scholarly article
title: An automatically verified prototype of the Tokeneer ID station specification
author: Maximiliano Cristiá
author: Gianfranco Rossi
published in: Journal of Automated Reasoning
publication date: 2022-01-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/2009.00999
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7461267
zbMATH Keywords: Tokeneer ID station specification
zbMATH Keywords: Z notation
zbMATH Keywords: \(\{log\}\)
zbMATH Keywords: constraint programming
zbMATH Keywords: prototyping
zbMATH Keywords: automated verification
zbMATH Keywords: automated proof
describes a project that uses: JSetL
describes a project that uses: SETL
describes a project that uses: Z
describes a project that uses: seL4
MaRDI profile type: Publication
OpenAlex ID: W3196661045
cites work: Decision problems for equational theories of relation algebras
cites work: Formal Analysis of Android's Permission-Based Security Model
cites work: A decision procedure for restricted intensional sets
cites work: A set solver for finite set relation algebra
cites work: Automated reasoning with restricted intensional sets
cites work: Solving quantifier-free first-order constraints over finite sets and binary relations
cites work: Automated proof of Bell-LaPadula security properties
cites work: Set unification
cites work: Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
cites work: Q4331845
cites work: Using Answer Set Programming in the Development of Verified Software.
cites work: Q3741005
cites work: Q3995087
cites work: The Tokeneer Experiments
DOI: 10.1007/S10817-021-09602-2
description: scientific article; zbMATH DE number 7461267