2014 IEEE 22nd International Requirements Engineering Conference (RE), August 25-29, 2014, Karlskrona, Sweden

Desktop Layout

Tool Demonstrations and Posters
J1360, Chairs: Jennifer Horkoff and Richard Berntsson Svensson
Symbolic Verification of Requirements in VRS System
Oleksandr Letychevskyi and Thomas Weigert
(Glushkov Institute of Cybernetics, Ukraine; Uniquesoft LLC, USA)
Abstract: VRS (Verification Requirements Specifications) system is a tool for processing formal requirements during the initial stage of software, hardware, or system development. Symbolic modeling and deductive methods are used for detection of issues such as safety violations, deadlocks, nondeterminism, or livelocks. The formal representation of requirements also supports the generation of test suites as well as the synthesis of a design model.


Time stamp: 2019-09-20T05:54:23+02:00