On the public citation graph

Bounded model checking of C++ programs based on the Qt cross‐platform framework

https://doi.org/10.1002/stvr.1632
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.1002/cpe.3934openalex-snapshot
SMT‐based context‐bounded model checking for CUDA programs
inferredcites →https://doi.org/10.1002/stvr.422openalex-snapshot
Verification support for ARINC‐653‐based avionics software
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_49openalex-snapshot
Yices 2.2
inferredcites →https://doi.org/10.1007/978-3-540-70952-7_1openalex-snapshot
Challenges for Formal Verification in Industrial Setting
inferredcites →https://doi.org/10.1007/978-3-540-74113-8openalex-snapshot
The Calculus of Computation: Decision Procedures with Applications to Verification
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-00768-2_16openalex-snapshot
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
inferredcites →https://doi.org/10.1007/978-3-642-10452-7_3openalex-snapshot
Satisfiability Modulo Theories: An Appetizer
inferredcites →https://doi.org/10.1007/978-3-642-27705-4_12openalex-snapshot
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_60openalex-snapshot
DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs
inferredcites →https://doi.org/10.1007/978-3-642-54013-4_9openalex-snapshot
Cascade 2.0
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_26openalex-snapshot
CBMC – C Bounded Model Checker
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_2openalex-snapshot
Towards a Mathematical Science of Computation
inferredcites →https://doi.org/10.1109/ase.2009.63openalex-snapshot
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
inferredcites →https://doi.org/10.1109/ase.2013.6693138openalex-snapshot
The bounded model checker LLBMC
inferredcites →https://doi.org/10.1109/ecbs.2013.15openalex-snapshot
SMT-Based Bounded Model Checking of C++ Programs
inferredcites →https://doi.org/10.1109/gcce.2015.7398699openalex-snapshot
Bounded model checking of C++ programs based on the Qt framework
inferredcites →https://doi.org/10.1109/icse.2013.6606756openalex-snapshot
A hands-on Java Pathfinder tutorial
inferredcites →https://doi.org/10.1109/memcod.2011.5970515openalex-snapshot
A flexible formal verification framework for industrial scale validation
inferredcites →https://doi.org/10.1109/tse.2011.59openalex-snapshot
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
inferredcites →https://doi.org/10.1145/1321631.1321724openalex-snapshot
Verifying C++ with STL containers via predicate abstraction
inferredcites →https://doi.org/10.1145/1925844.1926407openalex-snapshot
Precise reasoning for programs using containers
inferredcites →https://doi.org/10.1145/1985793.1985839openalex-snapshot
Verifying multi-threaded software using smt-based context-bounded model checking
inferredcites →https://doi.org/10.1145/2557833.2560576openalex-snapshot
Execution and property specifications for JPF-android
inferredcites →https://doi.org/10.1145/2693208.2693247openalex-snapshot
Generation of Library Models for Verification of Android Applications

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.1793openalex-snapshot
Model checking C++ programs
inferred← citeshttps://doi.org/10.1002/stvr.1833openalex-snapshot
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams
inferred← citeshttps://doi.org/10.1007/978-3-031-49342-3_9openalex-snapshot
ESBMC v7.3: Model Checking C++ Programs Using Clang AST
inferred← citeshttps://doi.org/10.1016/j.scico.2017.09.005openalex-snapshot
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103336openalex-snapshot
ESBMC v7.6: Enhanced model checking of C++ programs with clang AST
inferred← citeshttps://doi.org/10.1016/j.tsep.2025.103402openalex-snapshot
RETRACTED: Simulation of thermal radiation image processing based on optical technology in volleyball sports evaluation system: An image thermal model analysis
inferred← citeshttps://doi.org/10.1049/iet-cps.2018.5006openalex-snapshot
Survey on automated symbolic verification and its application for synthesising cyber‐physical systems
inferred← citeshttps://doi.org/10.1088/1742-6596/1187/3/032033openalex-snapshot
Study on the control system of Agaricus bisporus picking robot
inferred← citeshttps://doi.org/10.1088/1742-6596/3235/1/012036openalex-snapshot
Design and implementation of a multi-channel data acquisition system based on STM32 and Qt
inferred← citeshttps://doi.org/10.1088/1757-899x/1029/1/012066openalex-snapshot
Graphical interface software for the surgical table control system to monitor and adjust the parameters of surgical equipment
inferred← citeshttps://doi.org/10.1109/ewdts.2017.8110109openalex-snapshot
Cross-platform GUI for educational microcomputer designed in Qt
inferred← citeshttps://doi.org/10.1109/sbesc53686.2021.9628295openalex-snapshot
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning
inferred← citeshttps://doi.org/10.1109/sbesc60926.2023.10324098openalex-snapshot
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration
inferred← citeshttps://doi.org/10.1145/3127360.3127367openalex-snapshot
BMCLua
inferred← citeshttps://doi.org/10.1145/3238147.3241981openalex-snapshot
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)
inferred← citeshttps://doi.org/10.1145/3533767.3543289openalex-snapshot
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC
inferred← citeshttps://doi.org/10.1145/3845989openalex-snapshot
The Past, Present, and Future of Formal Methods in Brazil
inferred← citeshttps://doi.org/10.21203/rs.3.rs-3668418/v1openalex-snapshot
Applying Formal Methods to Build a Safe Continuous-Control Architecture for an Unmanned Aerial Vehicle
inferred← citeshttps://doi.org/10.3390/app10051625openalex-snapshot
A New Approach to Identifying Crash Hotspot Intersections (CHIs) Using Spatial Weights Matrices
inferred← citeshttps://doi.org/10.48550/arxiv.1702.07847openalex-snapshot
Automated Verification and Synthesis of Embedded Systems using Machine Learning
inferred← citeshttps://doi.org/10.48550/arxiv.1708.04028openalex-snapshot
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2012.11220openalex-snapshot
Incremental Verification of Fixed-Point Implementations of Neural Networks
inferred← citeshttps://doi.org/10.56028/aetr.4.1.189.2023openalex-snapshot
Research and Application of Qt Graphic View Framework
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.