scientific article; zbMATH DE number 7449999

zbMath1487.68164arXiv1904.06844MaRDI QIDQ5018483

Dragiša Žunić, Giselle Reis, Sharjeel Khan, Iliano Cervesato

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1904.06844

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Certified symbolic management of financial multi-party contracts
• A framework for defining logics
• Types for Proofs and Programs