On the public citation graph

Abstraction and Modular Verification of Infinite-State Reactive Systems

0 signed · 33 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-11494-7_22openalex-snapshot

Specification and verification of concurrent systems in CESAR

inferredcites →https://doi.org/10.1007/3-540-49213-5_9openalex-snapshot

Deductive Verification of Modular Systems

inferredcites →https://doi.org/10.1007/3-540-57887-0_123openalex-snapshot

Temporal verification diagrams

inferredcites →https://doi.org/10.1007/3-540-58043-3_22openalex-snapshot

Temporal verification of simulation and refinement

inferredcites →https://doi.org/10.1007/3-540-60472-3_14openalex-snapshot

HyTech: The Cornell Hybrid Technology Tool

inferredcites →https://doi.org/10.1007/3-540-60692-0_69openalex-snapshot

Generalized temporal verification diagrams

inferredcites →https://doi.org/10.1007/3-540-60973-3_113openalex-snapshot

Experiments in theorem proving and model checking for protocol verification

inferredcites →https://doi.org/10.1007/3-540-61474-5_92openalex-snapshot

STeP: Deductive-algorithmic verification of reactive and real-time systems

inferredcites →https://doi.org/10.1007/3-540-63010-4_3openalex-snapshot

Deductive verification of real-time systems using STeP

inferredcites →https://doi.org/10.1007/3-540-63166-6_10openalex-snapshot

Construction of abstract state graphs with PVS

inferredcites →https://doi.org/10.1007/3-540-64358-3_47openalex-snapshot

Deductive verification of hybrid systems using step

inferredcites →https://doi.org/10.1007/978-1-4612-4222-2openalex-snapshot

Temporal Verification of Reactive Systems

inferredcites →https://doi.org/10.1007/978-1-4615-3190-6openalex-snapshot

Symbolic Model Checking

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

Property preserving abstractions for the verification of concurrent systems

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

Verifying clocked transition systems

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

The tool Kronos

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

Generating finite-state abstractions of reactive systems using decision procedures

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

Computing abstractions of infinite state systems compositionally and automatically

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

The bounded retransmission protocol must be on time!

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

Model checking and abstraction

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781118459898.ch5openalex-snapshot

Symbolic Model Checking for Avionics

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

Modular formal verification of specifications of concurrent systems

inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_1openalex-snapshot

What Good are Models?

inferred← citeshttps://doi.org/10.1007/978-3-319-21912-7_4openalex-snapshot

A Customizable Execution Engine for Models of Embedded Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-27815-3_32openalex-snapshot

Modal Abstractions in μCRL

inferred← citeshttps://doi.org/10.1007/978-3-7091-6355-9_13openalex-snapshot

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems

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

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

inferred← citeshttps://doi.org/10.1109/hase.2002.1173111openalex-snapshot

Model checking RSML/sup -e/ requirements

inferred← citeshttps://doi.org/10.1109/tpsd.2007.4380384openalex-snapshot

Detecting Malicious Logic Through Structural Checking

inferred← citeshttps://doi.org/10.1109/tra.2002.802206openalex-snapshot

Formal verification for analysis and design of logic controllers for reconfigurable machining systems

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

Automatic abstraction for model checking software systems with interrelated numeric constraints

inferred← citeshttps://doi.org/10.1155/2014/869474openalex-snapshot

A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems

inferred← citeshttps://doi.org/10.5075/epfl-thesis-5828openalex-snapshot

Automatic Verification with Abstraction and Theorem Proving

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.