scientific article; zbMATH DE number 3415379

zbMath0263.68016MaRDI QIDQ5679697

E. A. Ashcroft, Zohar Manna

Publication date: 1971

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

On the detection of unstructuredness in flowgraphs, Unnamed Item, Balancing expressiveness in formal approaches to concurrency, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, Formalization of properties of nondeterministic recursive definitions, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II, Wait-free linearization with a mechanical proof, Analysis of structured programs, Proving assertions about parallel programs, An axiomatic proof technique for parallel programs, Correctness of parallel programs: The Church-Rosser approach, Functional behavior in data spaces, Mathematical theory of partial correctness, A generalized nexttime operator in temporal logic, Translating Java for multiple model checkers: The Bandera back-end