Jiangchao Liu

Available identifiers

zbMath Open liu.jiangchaoMaRDI QIDQ681350

List of research outcomes

Publication	Date of Publication	Type
Verifying numerical programs via iterative abstract testing	2024-04-19	Paper
Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification	2024-04-19	Paper
An array content static analysis based on non-contiguous partitions	2018-01-30	Paper
Abstraction of Optional Numerical Values	2016-01-08	Paper
Abstraction of Arrays Based on Non Contiguous Partitions	2015-02-04	Paper

Research outcomes over time

This page was built for person: Jiangchao Liu