scientific article

From MaRDI portal

Publication:3802590

Jump to:navigation, search

zbMath0655.68020MaRDI QIDQ3802590

Patrick Cousot, Radhia Cousot

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness inevitability program verification induction principles nondeterministic transition systems bounded nondeterminacy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs

This page was built for publication:

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