On the public citation graph

Implementing verification strategies in the KIV-system

https://doi.org/10.1007/bfb0012828
0 signed · 23 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-09237-4openalex-snapshot
First-Order Dynamic Logic
inferredcites →https://doi.org/10.1007/3-540-09724-4openalex-snapshot
Edinburgh LCF
inferredcites →https://doi.org/10.1007/3-540-16780-3_99openalex-snapshot
An interactive verification system based on dynamic logic
inferredcites →https://doi.org/10.1007/978-1-4612-5983-1openalex-snapshot
The Science of Programming
inferredcites →https://doi.org/10.1007/978-3-322-91208-4openalex-snapshot
Logikkalküle
inferredcites →https://doi.org/10.1007/978-3-642-73005-4openalex-snapshot
GWAI-87 11th German Workshop on Artifical Intelligence
inferredcites →https://doi.org/10.1007/978-3-642-73005-4_22openalex-snapshot
Program Verification by Symbolic Execution and Induction
inferredcites →https://doi.org/10.1007/978-94-017-0462-5openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1007/bf00244273openalex-snapshot
Writing programs that construct proofs
inferredcites →https://doi.org/10.1007/bfb0022481openalex-snapshot
Axiomatising the Logic of Computer Programming

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-51237-3_12openalex-snapshot
A dynamic logic for program verification
inferred← citeshttps://doi.org/10.1007/3-540-55602-8_218openalex-snapshot
The KIV system: Systematic construction of verified software
inferred← citeshttps://doi.org/10.1007/3-540-60406-5_20openalex-snapshot
Tool support for formal software development: A generic architecture
inferred← citeshttps://doi.org/10.1007/3540634932_11openalex-snapshot
Integrating an equality prover into a software development system based on type theory
inferred← citeshttps://doi.org/10.1007/978-3-319-07317-0_6openalex-snapshot
Combining Monitoring with Run-Time Assertion Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-75100-4_39openalex-snapshot
Machine-Assisted Program Construction and Modification
inferred← citeshttps://doi.org/10.1007/978-3-663-14621-6_11openalex-snapshot
Literatur
inferred← citeshttps://doi.org/10.1007/bfb0015474openalex-snapshot
The Korso case study for software engineering with formal methods: A medical information system
inferred← citeshttps://doi.org/10.1007/bfb0023893openalex-snapshot
Correctness of generic modules
inferred← citeshttps://doi.org/10.1016/0167-6423(92)90035-aopenalex-snapshot
Formalizing and implementing Gries' program development method in dynamic logic
inferred← citeshttps://doi.org/10.1017/s0269888900007554openalex-snapshot
Formal methods in knowledge engineering
inferred← citeshttps://doi.org/10.1080/095281300454847openalex-snapshot
A case study in the mechanical verification of fault tolerance
inferred← citeshttps://doi.org/10.1109/seke.1992.227918openalex-snapshot
Correctness of full first-order specifications
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.