Integration of verification methods for program systems

DOI10.1134/S0361768809040057zbMath1183.68378OpenAlexW2144950612MaRDI QIDQ1040327

V. V. Kuliamin

Publication date: 24 November 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768809040057

zbMATH Keywords

formal verificationstatic analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• CUTE
• Symstra
• Saturn
• BLAST
• SPIN
• JML
• UniTESK
• ESC/Java
• DART
• Pex
• Java PathFinder
• Boogie
• NModel
• SpecExplorer
• TestNG
• ASTREE
• jCUTE
• Calysto
• AGEDIS
• STP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combining test case generation and runtime verification
• An approach to creating development environments for a wide class of programming languages
• The octagon abstract domain
• Object-oriented description of graph data structures
• Test generation for compilers and other formal text processors
• Model-Based Software Testing and Analysis with C#
• Tools and Algorithms for the Construction and Analysis of Systems
• FM 2005: Formal Methods

This page was built for publication: Integration of verification methods for program systems