Formal Requirements Capturing using VRS system
Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy, Stepan Potiyenko, Vlad Volkov, Thomas J. Weigert · EPiC series in computing · 2018
We give a short overview of main functionalities and specification language of the VRS system. That environment was succesfully used for formalization and verification of ~30 software development projects implemented in Motorola. The system support both model checking and theorem proving techniques enhanced with invariants generation.