Download PDFOpen PDF in browserFormal Requirements Capturing using VRS system2 pages•Published: June 22, 2012AbstractWe 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.Keyphrases: formal methods, model checking, Requirements Verification, theorem proving In: Andrei Voronkov, Laura Kovács and Nikolaj Bjorner (editors). WING 2010. Workshop on Invariant Generation 2010, vol 1, pages 148--149
|