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 2025Show all

1 paper · 1 filter

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…