On the public citation graph
Mathematical methods for digital systems development
0 signed · 22 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00243131openalex-snapshot
An approach to systems verification
inferredcites →https://doi.org/10.1007/bf00243132openalex-snapshot
Microprocessor design verification
inferredcites →https://doi.org/10.1007/bf00243133openalex-snapshot
A mechanically verified language implementation
inferredcites →https://doi.org/10.1007/bf00243134openalex-snapshot
A mechanically verified code generator
inferredcites →https://doi.org/10.1007/bfb0012870openalex-snapshot
Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs
inferredcites →https://doi.org/10.1016/0378-4754(89)90181-xopenalex-snapshot
A computational logic handbook
inferredcites →https://doi.org/10.1145/359461.359483openalex-snapshot
Proof techniques for hierarchically structured programs
inferredcites →https://doi.org/10.11575/prism/30386openalex-snapshot
PROVING A COMPUTER CORRECT IN HIGHER ORDER LOGIC
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_6openalex-snapshot
Real-Time and Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-1-84628-607-0_13openalex-snapshot
Multiagent System Approach for Dynamic Lot-Sizing in Supply Chains
inferred← citeshttps://doi.org/10.1007/978-3-642-19391-0_13openalex-snapshot
Domains: Their Simulation, Monitoring and Control—A Divertimento of Ideas and Suggestions
inferred← citeshttps://doi.org/10.1007/978-94-009-1675-3_6openalex-snapshot
Interaction with the Boyer—Moore Theorem Prover: A Tutorial Study Using the Arithmetic—Geometric Mean Theorem
inferred← citeshttps://doi.org/10.1007/bf00244463openalex-snapshot
Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
inferred← citeshttps://doi.org/10.1007/bfb0024646openalex-snapshot
The industrial take-up of formal methods in safety-critical and other areas: A perspective
inferred← citeshttps://doi.org/10.1049/sej.1993.0025openalex-snapshot
Safety-critical systems, formal methods and standards
inferred← citeshttps://doi.org/10.1093/comjnl/44.1.1openalex-snapshot
A Conceptual Framework for Agent Definition and Development
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot
The early search for tractable ways of reasoning about programs
inferred← citeshttps://doi.org/10.71548/14032openalex-snapshot
A Comparative Study of Pre/postcondition and Relational Approaches to Program Development
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.