Traverdi — Transformation and verification of distributed systems

This publication has 16 references indexed in Scilit:

• Statecharts
  Published by Springer Nature ,1995
• Case Study: Stepwise Development of a Communication Processor using Trace Logic
  Published by Springer Nature ,1994
• Combining model checking and theorem proving to verify parallel processes
  Published by Springer Nature ,1993
• Refinement concepts formalised in higher order logic
  Formal Aspects of Computing, 1990
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Verifying the correctness of AADL modules using model checking
  Published by Springer Nature ,1990
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• A novel deadlock free and starvation free packet switching communication processor
  Published by Springer Nature ,1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979