Slicing techniques for verification re-use

DOI10.1016/J.TCS.2005.06.020zbMath1079.68061OpenAlexW1972502232MaRDI QIDQ2571210

Heike Wehrheim

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

zbMATH Keywords

verificationtemporal logicslicingObject-Z

Mathematics Subject Classification ID

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

• Bandera

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