On the public citation graph
The BLAST Software Verification System
0 signed · 27 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/3-540-45657-0_45openalex-snapshot
Temporal-Safety Proofs for Systems Code
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_2openalex-snapshot
The Blast Query Language for Software Verification
inferredcites →https://doi.org/10.1007/978-3-540-31984-9_2openalex-snapshot
Checking Memory Safety with Blast
inferredcites →https://doi.org/10.1007/b12001openalex-snapshot
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1145/996841.996844openalex-snapshot
Race checking by context inference
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11547662_9openalex-snapshot
Data-Abstraction Refinement: A Game Semantic Approach
inferred← citeshttps://doi.org/10.1007/978-1-4614-2266-2_8openalex-snapshot
Scalable and Optimized Hybrid Verification of Embedded Software
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_24openalex-snapshot
A Pyramid Of (Formal) Software Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-78800-3_7openalex-snapshot
On-the-Fly Techniques for Game-Based Software Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_8openalex-snapshot
Compositional Predicate Abstraction from Game Semantics
inferred← citeshttps://doi.org/10.1007/s10009-010-0143-0openalex-snapshot
Data-abstraction refinement: a game semantic approach
inferred← citeshttps://doi.org/10.1007/s10836-015-5518-4openalex-snapshot
Scalable and Optimized Hybrid Verification of Embedded Software
inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.003openalex-snapshot
A model-extraction approach to verifying concurrent C programs with CADP
inferred← citeshttps://doi.org/10.1109/date.2011.5763039openalex-snapshot
Scalable hybrid verification for embedded software
inferred← citeshttps://doi.org/10.1109/latw.2014.6841906openalex-snapshot
Optimized hybrid verification of embedded software
inferred← citeshttps://doi.org/10.1109/trustcom.2011.152openalex-snapshot
Automatic Model Building and Verification of Embedded Software with UPPAAL
inferred← citeshttps://doi.org/10.1145/1292316.1292326openalex-snapshot
Game-based safety checking with Mage
inferred← citeshttps://doi.org/10.1145/3009837.3009867openalex-snapshot
LMS-Verify: abstraction without regret for verified systems programming
inferred← citeshttps://doi.org/10.1145/3093333.3009867openalex-snapshot
LMS-Verify: abstraction without regret for verified systems programming
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.