Using Rewriting Logic to implement the modal logic FULL

J. Bryans, A. Verdejo and C. Shankland

In Proceedings AVoCS'01: Workshop on Automated Verification of Critical Systems.
Technical report PRG-RR-01-07, Oxford University Computing Laboratory, April 2001.

[pdf]

@InProceedings{BryansVerdejoShankland01b,
  author =       {J. Bryans and A. Verdejo and C. Shankland},
  title =        {Using Rewriting Logic to implement the modal logic {FULL}},
  booktitle =    {Proceedings AVoCS'01: Workshop on Automated Verification of Critical Systems},
  note =         {Technical report PRG-RR-01-07, 
                  Oxford University Computing Laboratory, April 2001}
}