Specification and Verification of the Windows Card Runtime Environment Using Abstract State Machines

@inproceedings{Gurevich1999SpecificationAV,
  title={Specification and Verification of the Windows Card Runtime Environment Using Abstract State Machines},
  author={Yuri Gurevich and Charles Wallace},
  year={1999}
}
An ASM specification of the Windows Card Runtime Environment (RTE) is presented and used to verify certain safety properties. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…