A model inference system for generic specification with application to code sharing

DOI10.1007/3-540-59293-8_232zbMath1496.68099OpenAlexW1501218550MaRDI QIDQ5096762

Didier Bert, C. Oriat

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_232

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Detecting equivalence of modular specifications with categorical diagrams

Cites Work

• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A model inference system for generic specification with application to code sharing