Using Higher Order Logic for Modelling Real-Time Protocols

@inproceedings{CardellOliver1991UsingHO,
  title={Using Higher Order Logic for Modelling Real-Time Protocols},
  author={Rachel Cardell-Oliver},
  booktitle={TAPSOFT, Vol.2},
  year={1991}
}

Figures and Topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Formal verification of real-time protocols using higher order logic

1achel Cardell-Oliver
  • Technical Report 206,
  • 1990

A proof generating system for higher-order logic. In VLSI Specification, Verification and Synthesis

Mike Gordon
  • Proceedings of the Workshop on Hardware Verification, Calgary,
  • 1987