Slicing techniques for verification re-use
From MaRDI portal
Publication:2571210
DOI10.1016/J.TCS.2005.06.020zbMath1079.68061OpenAlexW1972502232MaRDI QIDQ2571210
Publication date: 1 November 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.020
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A proof system for adaptable class hierarchies ⋮ Verification of Software Product Lines with Delta-Oriented Slicing
Uses Software
Cites Work
- Stutter-invariant temporal properties are expressible without the next-time operator
- A calculus of durations
- Slicing software for model construction
- Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
- Specification and verification of object-oriented programs using supertype abstraction
- Formal Methods for Components and Objects
- ZB 2005: Formal Specification and Development in Z and B
- Formal Methods for Open Object-Based Distributed Systems
- Inheritance of workflows: An approach to tackling problems related to change
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Slicing techniques for verification re-use