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…