Two approaches linking a test generation tool with verification techniques
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- VESAR: a pragmatic approach to formal specification and verificationComputer Networks and ISDN Systems, 1993
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977