1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SE2026
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
Po-Chun Chien, Nian-Ze Lee, Armin Biere +1
Formal verification of software programs and hardware designs shares the common goal of reasoning about state-transition systems, yet the two communities have largely developed sep…
cs.SE2024★ 1 cited
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
Daniel Baier, Dirk Beyer, Po-Chun Chien +8
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides ma…
cs.SE2024★ 1 cited
MoXIchecker: An Extensible Model Checker for MoXI
Salih Ates, Dirk Beyer, Po-Chun Chien +1
MoXI is a new intermediate verification language introduced in 2024 to promote the standardization and open-source implementations for symbolic model checking by extending the SMT-…