Author:
Letichevsky Alexander,Kolchin Alexander,Letychevskyy jr. Oleksandr,Potiyenko Stepan,Volkov Vlad,Weigert Thomas
Abstract
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.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic modeling and its application;Visnik Nacional'noi' academii' nauk Ukrai'ni;2021-03-25