scientific article
From MaRDI portal
Publication:3932277
zbMath0476.68009MaRDI QIDQ3932277
No author found.
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program specificationconcurrent programstemporal logiccomputational logicprogram correctnessFORTRANmetatheoryverification condition generator
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (13)
Fair Petri nets and structural induction for rings of processes ⋮ Verifying autonomous systems ⋮ Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Verification conditions for source-level imperative programs ⋮ Reflection of formal tactics in a deductive reflection framework ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Verification of concurrent programs: The automata-theoretic framework ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2 ⋮ Integrating external deduction tools with ACL2 ⋮ Tactics for Reasoning Modulo AC in Coq ⋮ Formal Proofs for Nonlinear Optimization
This page was built for publication:
