Verification of evolving software via component substitutability analysis
Authors:
- 2 May 2008
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 32 (3) , 235-266
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Automated Assumption Generation for Compositional Verification2007
- Efficient Verification of Sequential and Concurrent C ProgramsFormal Methods in System Design, 2004
- Early Identification of Incompatibilities in Multi-component UpgradesLecture Notes in Computer Science, 2004
- Monotonic Abstraction-Refinement for CTL2004
- Generating finite-state abstractions of reactive systems using decision procedures1998
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Inference of Finite Automata Using Homing SequencesInformation and Computation, 1993
- Learning regular sets from queries and counterexamplesInformation and Computation, 1987
- In Transition From Global to Modular Temporal Reasoning about Programs1985