On the public citation graph
Modular model checking of software
0 signed · 61 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-11494-7_22openalex-snapshot
Specification and verification of concurrent systems in CESAR
inferredcites →https://doi.org/10.1007/3-540-52559-9_72openalex-snapshot
Verifying the correctness of AADL modules using model checking
inferredcites →https://doi.org/10.1007/3-540-63166-6_12openalex-snapshot
Automatic datapath extraction for efficient usage of HDD
inferredcites →https://doi.org/10.1007/3-540-63166-6_53openalex-snapshot
RuleBase: Model checking at IBM
inferredcites →https://doi.org/10.1007/978-3-540-48654-1_9openalex-snapshot
Pushdown Processes: Parallel Composition and Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_5openalex-snapshot
In Transition From Global to Modular Temporal Reasoning about Programs
inferredcites →https://doi.org/10.1007/bf01383968openalex-snapshot
Verification of the Futurebus+ cache coherence protocol
inferredcites →https://doi.org/10.1016/0304-3975(81)90110-9openalex-snapshot
The temporal semantics of concurrent programs
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1145/122419.1024051openalex-snapshot
Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)
inferredcites →https://doi.org/10.1145/177492.177725openalex-snapshot
Model checking and modular verification
inferredcites →https://doi.org/10.1145/263699.263717openalex-snapshot
Model checking for programming languages using VeriSoft
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/4904.4999openalex-snapshot
“Sometimes” and “not never” revisited
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11560647_34openalex-snapshot
Constructing Open Systems via Consistent Components
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_23openalex-snapshot
Modular Verification for a Class of PLTL Properties
inferred← citeshttps://doi.org/10.1007/3-540-45449-7_8openalex-snapshot
Verification of Embedded Software: Problems and Perspectives
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_10openalex-snapshot
Mechanical Abstraction of CSPZ Processes
inferred← citeshttps://doi.org/10.1007/3-540-46017-9_7openalex-snapshot
The Influence of Software Module Systems on Modular Verification
inferred← citeshttps://doi.org/10.1007/3-7908-1624-8_21openalex-snapshot
A Concept for Modelling and Validation of Web Based Presentation Templates
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_6openalex-snapshot
Modular Verification of Dynamic Properties for Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-09099-3_3openalex-snapshot
An Abstraction Technique for Testing Decomposable Systems by Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_17openalex-snapshot
Formal Architecture Modeling of Sequential C-Programs
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_26openalex-snapshot
Towards Modular Verification of Software Product Lines with mCRL2
inferred← citeshttps://doi.org/10.1007/s10009-003-0129-2openalex-snapshot
Sequential and distributed model checking of Petri nets
inferred← citeshttps://doi.org/10.1007/s10009-004-0163-8openalex-snapshot
Assumption-based distribution of CTL model checking
inferred← citeshttps://doi.org/10.1007/s10515-005-2643-9openalex-snapshot
Modular Verification of Open Features Using Three-Valued Model Checking
inferred← citeshttps://doi.org/10.1007/s11704-016-6192-0openalex-snapshot
The role of model checking in software engineering
inferred← citeshttps://doi.org/10.1016/j.ic.2008.03.003openalex-snapshot
Compositional verification of sequential programs with procedures
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.07.018openalex-snapshot
Action-based discovery of satisfying subsets: A distributed method for model correction
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.007openalex-snapshot
Test generation for sequential nets of Abstract State Machines with information passing
inferred← citeshttps://doi.org/10.1016/j.scico.2017.03.007openalex-snapshot
Formal architecture modeling of sequential non-recursive C programs
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00023-xopenalex-snapshot
Model-checking CSP-Z: strategy, tool support and industrial application
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80094-5openalex-snapshot
Using Assumptions to Distribute Alternation Free μ-Calculus Model Checking
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80758-3openalex-snapshot
Using Assumptions to Distribute CTL Model Checking
inferred← citeshttps://doi.org/10.1109/acsd.2013.10openalex-snapshot
Modular Verification of Synchronous Programs
inferred← citeshttps://doi.org/10.1109/apsec.2003.1254361openalex-snapshot
Towards a sound modular model checking of collaboration-based software designs
inferred← citeshttps://doi.org/10.1109/ase.2002.1115013openalex-snapshot
Interfaces for modular feature verification
inferred← citeshttps://doi.org/10.1109/ase.2004.1342743openalex-snapshot
Parameterized interfaces for open system veri .cation of product lines
inferred← citeshttps://doi.org/10.1109/ecbs.2008.45openalex-snapshot
Model Checking with Graphical Validation Rules
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00092openalex-snapshot
Cooperative Software Verification via Dynamic Program Splitting
inferred← citeshttps://doi.org/10.1109/iwpse.2004.13openalex-snapshot
Handling consistency of software evolution in an efficient way
inferred← citeshttps://doi.org/10.1109/iwpse.2004.1334776openalex-snapshot
Handling consistency of software evolution in an ef .cient way
inferred← citeshttps://doi.org/10.1109/iwpse.2005.1openalex-snapshot
A Formal Approach Facilitating the Evolution of Component-Based Software
inferred← citeshttps://doi.org/10.1109/memcod.2004.1459857openalex-snapshot
Compositional verification for secure loading of smart card applets
inferred← citeshttps://doi.org/10.1109/tse.2017.2781231openalex-snapshot
Decomposition-Based Approach for Model-Based Test Generation
inferred← citeshttps://doi.org/10.1145/1029894.1029916openalex-snapshot
Verifying aspect advice modularly
inferred← citeshttps://doi.org/10.1145/1118537.1123067openalex-snapshot
Specification and verification of inter-component constraints in CTL
inferred← citeshttps://doi.org/10.1145/1217295.1217296openalex-snapshot
Foundations of incremental aspect model-checking
inferred← citeshttps://doi.org/10.1145/2043556.2043582openalex-snapshot
Practical software model checking via dynamic interface reduction
inferred← citeshttps://doi.org/10.1145/2647908.2655970openalex-snapshot
Software product line analysis with mCRL2
inferred← citeshttps://doi.org/10.1145/2786805.2786837openalex-snapshot
Improving model-based test generation by model decomposition
inferred← citeshttps://doi.org/10.1145/3180374.3181346openalex-snapshot
System States Transition Safety Analysis Method Based on FSM and NuSMV
inferred← citeshttps://doi.org/10.1145/3238147.3238195openalex-snapshot
Domain-independent multi-threaded software model checking
inferred← citeshttps://doi.org/10.1145/3660766openalex-snapshot
Decomposing Software Verification using Distributed Summary Synthesis
inferred← citeshttps://doi.org/10.1145/503209.503231openalex-snapshot
Modular verification of collaboration-based software designs
inferred← citeshttps://doi.org/10.1145/587051.587066openalex-snapshot
Verifying cross-cutting features as open systems
inferred← citeshttps://doi.org/10.48550/arxiv.2111.04902openalex-snapshot
Modular Decomposition of Hierarchical Finite State Machines
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.