Lightweight shape analysis based on physical types

DOI10.1007/978-3-030-94583-1_11zbMath1498.68081MaRDI QIDQ2152652

Xavier Rival, Matthieu Lemerre, Olivier Nicole

Publication date: 8 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-94583-1_11

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Cyclone