On the public citation graph

Limits of formal methods

0 signed · 45 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/978-1-4471-3180-9openalex-snapshot

mural: A Formal Development Support System

inferredcites →https://doi.org/10.1007/978-3-322-84926-7openalex-snapshot

Sichtweisen der Informatik

inferredcites →https://doi.org/10.1007/978-94-011-1793-7_9openalex-snapshot

Formalization in Program Development

inferredcites →https://doi.org/10.1007/bf00289066openalex-snapshot

The clean termination of Pascal programs

inferredcites →https://doi.org/10.1007/bf00402650openalex-snapshot

Using formal specifications to support software testing

inferredcites →https://doi.org/10.1007/bf01934408openalex-snapshot

Formalization in program development

inferredcites →https://doi.org/10.1007/bf03259387openalex-snapshot

A Formal Semantics of Data Flow Diagrams

inferredcites →https://doi.org/10.1016/0167-6423(91)90008-lopenalex-snapshot

Symbolic execution: a semantic approach

inferredcites →https://doi.org/10.1016/0169-7552(96)00083-9openalex-snapshot

Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995

inferredcites →https://doi.org/10.1049/ic:19950707openalex-snapshot

Seven deadly sins

inferredcites →https://doi.org/10.1109/52.2014openalex-snapshot

Characterizing the software process: a maturity framework

inferredcites →https://doi.org/10.1109/52.566430openalex-snapshot

Formal methods: promises and problems

inferredcites →https://doi.org/10.1109/52.57887openalex-snapshot

Seven myths of formal methods

inferredcites →https://doi.org/10.1145/359104.359106openalex-snapshot

Social processes and proofs of theorems and programs

inferredcites →https://doi.org/10.1145/48529.48530openalex-snapshot

Program verification: the very idea

inferredcites →https://doi.org/10.25405/ncl.34123908openalex-snapshot

Developing a Security-critical System using Formal and Conventional Methods

What points at this work

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

inferred← citeshttps://doi.org/10.1002/smr.2334openalex-snapshot

A formal approach to rigorous development of critical systems

inferred← citeshttps://doi.org/10.1002/stvr.324openalex-snapshot

Tool support for executable documentation of Java class hierarchies

inferred← citeshttps://doi.org/10.1007/11813040_14openalex-snapshot

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach

inferred← citeshttps://doi.org/10.1007/3-540-40911-4_10openalex-snapshot

Developing Control Systems Components

inferred← citeshttps://doi.org/10.1007/3-540-45263-x_27openalex-snapshot

Coordination-Based Design of Distributed Systems

inferred← citeshttps://doi.org/10.1007/978-3-031-78116-2_9openalex-snapshot

Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm

inferred← citeshttps://doi.org/10.1007/978-3-319-13590-8_10openalex-snapshot

On the Usage of Network Visualization for Multiagent System Verification

inferred← citeshttps://doi.org/10.1007/978-3-319-24678-9_12openalex-snapshot

Summary and Conclusions

inferred← citeshttps://doi.org/10.1007/978-3-540-87698-4_5openalex-snapshot

The Effectiveness of T-Way Test Data Generation

inferred← citeshttps://doi.org/10.1007/s001650070032openalex-snapshot

ADL: An Activity Description Language for Real-Time Networks

inferred← citeshttps://doi.org/10.1007/s11265-015-1073-6openalex-snapshot

Instrumentation-Driven Validation of Dataflow Applications

inferred← citeshttps://doi.org/10.1007/s11432-011-4200-4openalex-snapshot

Hoare logic-based genetic programming

inferred← citeshttps://doi.org/10.1016/s0164-1212(02)00055-9openalex-snapshot

API documentation with executable examples

inferred← citeshttps://doi.org/10.1023/a:1008959706859openalex-snapshot

Deriving engineering software from requirements

inferred← citeshttps://doi.org/10.1080/019697201753229836openalex-snapshot

FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY

inferred← citeshttps://doi.org/10.1109/conecct52877.2021.9622356openalex-snapshot

From Informal System Requirements to Formal Software Specifications - An Experience Report

inferred← citeshttps://doi.org/10.1109/icbc59979.2024.10634444openalex-snapshot

(In)Correct Smart Contract Specifications

inferred← citeshttps://doi.org/10.1109/icosst.2012.6472826openalex-snapshot

Formal modeling of ATC signals using Z notation

inferred← citeshttps://doi.org/10.1109/iri.2013.6642473openalex-snapshot

Detecting distributed software components that will not cause emergent behavior in asynchronous communication style

inferred← citeshttps://doi.org/10.1109/isnib57382.2022.10075811openalex-snapshot

Leveraging Formal Methods to Blockchain Consensus Protocols: A Scoping Literature Review

inferred← citeshttps://doi.org/10.1109/mahc.2017.3481346openalex-snapshot

Sixty Years of Software Development Life Cycle Models

inferred← citeshttps://doi.org/10.1109/sips.2014.6986053openalex-snapshot

Instrumentation-driven framework for validation of dataflow applications

inferred← citeshttps://doi.org/10.1109/tccn.2026.3710539openalex-snapshot

LLM-Driven Semantic Consistency Analysis for TRDP Implementations in Train Networks

inferred← citeshttps://doi.org/10.1134/s036176881201001xopenalex-snapshot

Developing test systems for multi-modules hardware designs

inferred← citeshttps://doi.org/10.1145/952532.952744openalex-snapshot

An integrated framework for formal development of open distributed systems

inferred← citeshttps://doi.org/10.25904/1912/554openalex-snapshot

A Framework for Early Detection of Requirements Defects

inferred← citeshttps://doi.org/10.37496/rbz5420240170openalex-snapshot

Modeling complex systems in animal science: A pedagogical framework for new researchers

inferred← citeshttps://doi.org/10.51415/10321/2946openalex-snapshot

Determining and developing appropriate methods for requirements verification and modelling of telecentre operational monitoring in a developing country

inferred← citeshttps://doi.org/10.7763/ijet.2012.v4.478openalex-snapshot

Formal Verification and Validation of Aircraft Departure Process in Air Traffic Control System Using VDM++

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.