Solving Not-Substring Constraint withFlat Abstraction

DOI10.1007/978-3-030-89051-3_17zbMath1520.68068MaRDI QIDQ6488164

Bui Phi Diep, Yu-Fang Chen, Parosh Aziz Abdulla, Wei-Lun Tsai, Di-De Yen, Unnamed Author, Mohamed Faouzi Atig, Lukáš Holík, Unnamed Author

Publication date: 29 March 2023

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Solving Not-Substring Constraint withFlat Abstraction