Why there is no general solution to the problem of software verification

DOI10.1007/s10699-019-09611-wzbMath1490.68093OpenAlexW2948572149MaRDI QIDQ2151520

Jack K. Horner, John Symons

Publication date: 5 July 2022

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1808/29420

zbMATH Keywords

software verificationerrorphilosophy of computer sciencemodel checker

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General topics in the theory of computing (68Q01)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• Mathematical studies of information processing. Proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Introduction to Parallel Computing
• Alan Turing: Life and Legacy of a Great Thinker
• The Beginning of Model Checking: A Personal Perspective
• Computability and Logic
• Proving Liveness Properties of Concurrent Programs
• A Complexity Measure
• Handbook of Model Checking
• Logic in Computer Science
• Elements of Information Theory
• An axiomatic basis for computer programming

This page was built for publication: Why there is no general solution to the problem of software verification