Program verification: state of the art, problems, and results. I
DOI10.1007/S10559-013-9569-1zbMATH Open1371.68179OpenAlexW4253676934MaRDI QIDQ466416FDOQ466416
Authors: S. L. Kryvyi, O. M. Maksymets 
Publication date: 27 October 2014
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-013-9569-1
Recommendations
- Program verification: state of the art, problems, and results. II
- Formal Methods at the Crossroads. From Panacea to Foundational Support
- scientific article; zbMATH DE number 50008
- A survey of verification techniques for parallel programs
- The automata-theoretic approach to verification of reactive systems
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Search for invariant linear relationships in programs
- Title not available (Why is that?)
- Static Analysis
- A denotational framework for data flow analysis
- Abstract Interpretation Frameworks
- An algorithm for finding invariant relations in programs
- Title not available (Why is that?)
- Abstraction as the key for invariant verification
- Verification by abstract interpretation
- Polynomial invariants generation of programs
- Two-level semantics and abstract interpretation
Cited In (24)
- Reduction and quantifier elimination techniques for program validation
- Title not available (Why is that?)
- Using generalized nets for programme verification
- Verification of software requirements on program systems represented by attribute transition systems
- Automated program verification
- Sound, modular and compositional verification of the input/output behavior of programs
- Title not available (Why is that?)
- Problem-oriented program verification system ?SPEKTR?
- Verification of procedural programs
- Problems of verification of functional programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic verification of intermittent systems
- Program verification and system dependability
- Integration of verification methods for program systems
- Verified Textbook Algorithms
- Verification of concurrent programs using Petri net unfoldings
- Title not available (Why is that?)
- Program analysis is harder than verification: a computability perspective
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Title not available (Why is that?)
- Program verification: state of the art, problems, and results. II
- A survey of verification techniques for parallel programs
- Problem-oriented program verification
This page was built for publication: Program verification: state of the art, problems, and results. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466416)
