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 Kovacs and Nikolaj Bjorner (editors). WING 2010. Workshop on Invariant Generation 2010, vol 1, pages 148-149.
|