Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages

DOI10.1093/jigpal/jzi032zbMath1145.03309OpenAlexW2100235086MaRDI QIDQ5703738

Reiner Hähnle

Publication date: 8 November 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi032

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Are the logical foundations of verifying compiler prototypes matching user expectations?, A two-valued logic for properties of strict functional programs allowing partial functions, Classical logic with partial functions, Efficient Well-Definedness Checking, Classical Logic with Partial Functions

Uses Software

• JML