On the public citation graph

Visualising Larger State Spaces in Pro B

https://doi.org/10.1007/11415787_2
0 signed · 48 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/11415787_2openalex-snapshot
Visualising Larger State Spaces in Pro B
inferredcites →https://doi.org/10.1007/11812128_8openalex-snapshot
Finding Common Motifs with Gaps Using Finite Automata
inferredcites →https://doi.org/10.1007/3-540-36577-x_42openalex-snapshot
Large State Space Visualization
inferredcites →https://doi.org/10.1007/3-540-45007-6_31openalex-snapshot
Minimizing Finite Automata Is Computationally Hard
inferredcites →https://doi.org/10.1007/3-540-45687-2_27openalex-snapshot
Algorithms for Computing Small NFAs
inferredcites →https://doi.org/10.1007/3-540-45687-2_42openalex-snapshot
Unit Testing for Casl Architectural Specifications
inferredcites →https://doi.org/10.1007/3-540-46002-0_14openalex-snapshot
CLPS-B—A Constraint Solver for B
inferredcites →https://doi.org/10.1007/3-540-46011-xopenalex-snapshot
Developments in Language Theory
inferredcites →https://doi.org/10.1007/3-540-48683-6_38openalex-snapshot
Abstract and Model Check while You Prove
inferredcites →https://doi.org/10.1007/3-540-49059-0_13openalex-snapshot
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/978-3-540-30500-2_18openalex-snapshot
Minimal Unambiguous εNFA
inferredcites →https://doi.org/10.1007/978-3-540-45236-2_46openalex-snapshot
ProB: A Model Checker for B
inferredcites →https://doi.org/10.1007/b13229openalex-snapshot
FME 2003: Formal Methods
inferredcites →https://doi.org/10.1007/bfb0028755openalex-snapshot
Computing abstractions of infinite state systems compositionally and automatically
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/s0020-7373(79)80019-xopenalex-snapshot
When do diagrams make good computer languages?
inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot
The B-Book
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/2945.841119openalex-snapshot
Graph visualization and navigation in information visualization: A survey
inferredcites →https://doi.org/10.1109/icre.2002.1048507openalex-snapshot
On the use of visualization in formal requirements specification
inferredcites →https://doi.org/10.1109/infvis.2001.963281openalex-snapshot
Visualization of state transition graphs
inferredcites →https://doi.org/10.1137/0222067openalex-snapshot
Minimal NFA Problems are Hard
inferredcites →https://doi.org/10.21236/ada218976openalex-snapshot
Cognitive Efficiency Considerations for Good Graphic Design

What points at this work

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

inferred← citeshttps://doi.org/10.1002/stvr.431openalex-snapshot
A case study in model‐based testing of specifications and implementations
inferred← citeshttps://doi.org/10.1007/11526841_16openalex-snapshot
Combining CSP and B for Specification and Property Verification
inferred← citeshttps://doi.org/10.1007/11576280_24openalex-snapshot
Automatic Refinement Checking for B
inferred← citeshttps://doi.org/10.1007/11901433_36openalex-snapshot
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-36849-2_8openalex-snapshot
Domain-Specific 3D Visualization of Formal Models
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_10openalex-snapshot
Mastering the Visualization of Larger State Spaces with Projection Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-319-33600-8_6openalex-snapshot
Enabling Analysis for Event-B
inferred← citeshttps://doi.org/10.1007/978-3-319-69483-2_15openalex-snapshot
Construction of Abstract State Graphs for Understanding Event-B Models
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_10openalex-snapshot
Guiding the Correction of Parameterized Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_25openalex-snapshot
Validating Z Specifications Using the ProB Animator and Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_55openalex-snapshot
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network
inferred← citeshttps://doi.org/10.1007/978-3-642-04912-5_8openalex-snapshot
How to Explain Mistakes
inferred← citeshttps://doi.org/10.1007/978-3-642-13977-2_14openalex-snapshot
Building a Test-Ready Abstraction of a Behavioral Model Using CLP
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_5openalex-snapshot
Automatic Flow Analysis for Event-B
inferred← citeshttps://doi.org/10.1007/s10009-007-0063-9openalex-snapshot
ProB: an automated analysis toolset for the B method
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.11.016openalex-snapshot
Generating Hierarchical State Based Representation From Event-B Models
inferred← citeshttps://doi.org/10.1016/j.scico.2017.08.004openalex-snapshot
Enabling analysis for Event-B
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102745openalex-snapshot
User-driven diverse scenario exploration in model finders
inferred← citeshttps://doi.org/10.1109/idt.2007.4437452openalex-snapshot
Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism
inferred← citeshttps://doi.org/10.1109/seaa51224.2020.00032openalex-snapshot
Visualizing Multi-dimensional State Spaces Using Selective Abstraction
inferred← citeshttps://doi.org/10.1109/tvcg.2006.192openalex-snapshot
Visual Analysis of Multivariate State Transition Graphs
inferred← citeshttps://doi.org/10.3233/ida-2012-0544openalex-snapshot
Interactive state-transition diagrams for visualization of multimodal annotation
showing the first 22 of 23 · page through all 23
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.