research
∙
09/08/2022
Automated Validation of Insurance Applications against Calculation Specifications
Insurance companies rely on their Legacy Insurance System (LIS) to gover...
share
research
∙
09/04/2021
Direct Construction of Program Alignment Automata for Equivalence Checking
The problem of checking whether two programs are semantically equivalent...
research
∙
02/26/2018
