Title: Dynamic conformance analysis with an LDRA testbed
Abstract: The author shows how conformance analysis can be performed dynamically using an LDRA software testbed. The costs and benefits of this approach are compared with those for the corresponding static conformance analysis. An example using formal Z specification is given as an illustration.<
>
Publication Year: 1990
Publication Date: 1990-06-19
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot