Integration of verification methods for program systems
From MaRDI portal
Publication:1040327
DOI10.1134/S0361768809040057zbMath1183.68378MaRDI QIDQ1040327
Publication date: 24 November 2009
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
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