GOAL: Observing SDL behaviors with GEODE

This publication has 3 references indexed in Scilit:

• VESAR: a pragmatic approach to formal specification and verification
  Computer Networks and ISDN Systems, 1993
• Development of Veda, a prototyping tool for distributed algorithms
  IEEE Transactions on Software Engineering, 1988
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983