Engineering with Logic

DOI10.1145/3243650zbMath1425.68038OpenAlexW2904162908WikidataQ130849087 ScholiaQ130849087MaRDI QIDQ4625666

No author found.

Publication date: 25 February 2019

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3243650

zbMATH Keywords

specificationnetwork protocolsrigorous engineering

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)

Uses Software

• HOL
• herd7
• diy7
• CppMem
• miTLS
• HaNS

This page was built for publication: Engineering with Logic