On the public citation graph

Integrated program verification tools in education

https://doi.org/10.1002/spe.2143
0 signed · 32 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/11813040_19openalex-snapshot
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
inferredcites →https://doi.org/10.1007/978-1-4615-5229-1_12openalex-snapshot
JML: A Notation for Detailed Design
inferredcites →https://doi.org/10.1007/978-3-540-27813-9_49openalex-snapshot
CVC Lite: A New Implementation of the Cooperating Validity Checker
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_3openalex-snapshot
The Spec# Programming System: An Overview
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_6openalex-snapshot
ESC/Java2: Uniting ESC/Java and JML
inferredcites →https://doi.org/10.1007/978-3-540-71209-1_4openalex-snapshot
A Reachability Predicate for Analyzing Low-Level Software
inferredcites →https://doi.org/10.1007/978-3-540-73770-4_4openalex-snapshot
Testing and Verifying Invariant Based Programs in the SOCOS Environment
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-04912-5_7openalex-snapshot
Teaching Program Specification and Verification Using JML and ESC/Java2
inferredcites →https://doi.org/10.1007/978-3-642-17511-4_20openalex-snapshot
Dafny: An Automatic Program Verifier for Functional Correctness
inferredcites →https://doi.org/10.1007/978-3-642-19835-9_8openalex-snapshot
Enforcing Structural Invariants Using Dynamic Frames
inferredcites →https://doi.org/10.1007/978-3-642-24690-6_28openalex-snapshot
The Boogie Verification Debugger (Tool Paper)
inferredcites →https://doi.org/10.1007/bfb0054091openalex-snapshot
Flexible alias protection
inferredcites →https://doi.org/10.1007/s00165-008-0070-yopenalex-snapshot
Invariant based programming: basic approach and teaching experiences
inferredcites →https://doi.org/10.1109/tcad.2008.923410openalex-snapshot
A Survey of Automated Techniques for Formal Software Verification
inferredcites →https://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferredcites →https://doi.org/10.1145/1159842.1159849openalex-snapshot
Extended static checking for haskell
inferredcites →https://doi.org/10.1145/1529282.1529411openalex-snapshot
Reasoning about comprehensions with first-order SMT solvers
inferredcites →https://doi.org/10.1145/1984708.1984711openalex-snapshot
Pest
inferredcites →https://doi.org/10.1145/359104.359106openalex-snapshot
Social processes and proofs of theorems and programs
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.5381/jot.2004.3.6.a2openalex-snapshot
Verification of Object-Oriented Programs with Invariants.

What points at this work

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

inferred← citeshttps://doi.org/10.1002/spe.2191openalex-snapshot
Developing tools as plug‐ins: TOPI 2011 special issue editorial
inferred← citeshttps://doi.org/10.1002/spe.2259openalex-snapshot
Experience report: evolution of a web‐integrated software development and verification environment
inferred← citeshttps://doi.org/10.1007/978-3-032-02675-0_4openalex-snapshot
Enhancing Computer Programming Education: Integrating Advanced AI Tools for Challenging Curriculum Projects
inferred← citeshttps://doi.org/10.1109/edunine62377.2025.10981333openalex-snapshot
Work in Progress: ESPECIFICA++, a DSL for Developing the Competency of Formal Specification in Computer Programming Education
inferred← citeshttps://doi.org/10.1109/jsyst.2015.2418290openalex-snapshot
Variability Plug-Ins for Requirements Tools: A Case-Based Theory Building Approach
inferred← citeshttps://doi.org/10.1111/jcal.12238openalex-snapshot
ViDA: A virtual debugging advisor for supporting learning in computer programming courses
inferred← citeshttps://doi.org/10.1145/2729094.2742628openalex-snapshot
Introducing Formal Methods via Program Derivation
inferred← citeshttps://doi.org/10.1145/3375258.3375265openalex-snapshot
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?
inferred← citeshttps://doi.org/10.1145/3430665.3456351openalex-snapshot
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties
inferred← citeshttps://doi.org/10.18260/1-2--46560openalex-snapshot
An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum
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.