Combining model checking and deduction for I/O- automata

This publication has 11 references indexed in Scilit:

• Reducibility in analysis of coordination
  Published by Springer Nature ,2006
• Verifying programs with unreliable channels
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A tool for symbolic program verification and abstraction
  Published by Springer Nature ,1993
• Combining model checking and theorem proving to verify parallel processes
  Published by Springer Nature ,1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• “On the fly” verification of behavioural equivalences and preorders
  Published by Springer Nature ,1992
• Adding liveness properties to coupled finite-state machines
  ACM Transactions on Programming Languages and Systems, 1990
• An algorithmic technique for protocol verification
  IEEE Transactions on Communications, 1988
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969