2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
cs.SE2025
Developing controlled natural language for formal specification patterns using AI assistants
Natalia Garanina, Vladimir Zyubin, Igor Anureev
Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical…
cs.LO2018★ 2 cited
Towards platform-independent verification of the standard mathematical functions: the square root function
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev +2
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for i…