8 citations · 10 across the 5 of their papers we have counts for
3 papers · 1 filter
Automated Validation of Insurance Applications against Calculation Specifications
Advaita Datar, Amey Zare, Asia A +3
Insurance companies rely on their Legacy Insurance System (LIS) to govern day-to-day operations. These LIS operate as per the companys business rules that are formally specified in…
Direct Construction of Program Alignment Automata for Equivalence Checking
Manish Goyal, Muqsit Azeem, Kumar Madhukar +1
The problem of checking whether two programs are semantically equivalent or not has a diverse range of applications, and is consequently of substantial importance. There are severa…
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors
Martin Becker, Ravindra Metta, R Venkatesh +1
Estimating the Worst-Case Execution Time (WCET) of an application is an essential task in the context of developing real-time or safety-critical software, but it is also a complex…