Cited By
View all- Xu YBarthe GZhou L(2025)Automating Equational Proofs in Dirac NotationProceedings of the ACM on Programming Languages10.1145/37048789:POPL(1227-1259)Online publication date: 9-Jan-2025
- Ni XWu YXia B(2023)Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic VerificationDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-99-8664-4_10(171-188)Online publication date: 27-Nov-2023
- Cleaveland RMitsch SPlatzer A(2022)Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS XACM Transactions on Embedded Computing Systems10.1145/354497022:1(1-30)Online publication date: 29-Oct-2022
- Show More Cited By