Verification logic
type: Item
instance of: scholarly article
title: Verification logic
zbMATH Open document ID: 1444.03169
author: Juan P. Aguilera
author: David Fernández-Duque
publication date: 2018-11-20T00:00:00Z
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6981757
zbMATH Keywords: verification logic
zbMATH Keywords: justification logic
zbMATH Keywords: arithmetical interpretation
zbMATH Keywords: negative introspection
MaRDI profile type: Publication
full work available at URL: exx027
OpenAlex ID: W4231767795
DOI: 10.1093/LOGCOM/EXX027
Recommended article: Verification of logic programs
Recommended article: Verification of the logic of plausible reasoning
Recommended article: Q4244965
Recommended article: Q3629888
Recommended article: Theorem Proving in Higher Order Logics
Recommended article: A Verification Logic for Rewriting Logic
Recommended article: Q3816961
Recommended article: Design and verification of logical models
Recommended article: Logic for verifying public-key cryptographic protocols
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 6981757