activity
20182026
most citedTowards platform-independent verification of the standard mathematical functions: the square root function

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

Partial Automation of Verification Condition Proving for Reflex Programs (Draft)

Artyom Ishchenko, Igor Anureev

Process-Oriented Programming is a software development approach that emphasizes the management of control systems through abstractions of processes and their states, enabling these…