Program verification. Fundamental issues in computer science

From MaRDI portal

Publication:1316958

Jump to:navigation, search

zbMath0826.68078MaRDI QIDQ1316958

No author found.

Publication date: 10 March 1994

Published in: Studies in Cognitive Systems (Search for Journal in Brave)

zbMATH Keywords

Computer science program specification hardware verification program verification tags program development inferential programming Program verification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Related Items (3)

NP satisfiability for arrays as powers ⋮ Theory and practice of software development ⋮ Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems

This page was built for publication: Program verification. Fundamental issues in computer science

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1316958&oldid=13437391"