Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
From MaRDI portal
Publication:5703738
DOI10.1093/jigpal/jzi032zbMath1145.03309MaRDI QIDQ5703738
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
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B50: Many-valued logic
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Are the logical foundations of verifying compiler prototypes matching user expectations?, Efficient Well-Definedness Checking
Uses Software