Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata

von Li, Xie
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)

Monadic Decomposition in Integer Linear Arithmetic

von Hague, Matthew
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, virtual event, October 25-28, 2022, proceedings

Veröffentlicht 2022

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

von Chen, Taolue
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)

von Yu, Shizhen
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Solving Not-Substring Constraint with Flat Abstraction

von Abdulla, Parosh Aziz
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)