UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Shamim Ripon' ordered by Year. (3)

2010 2009

2010

Verification of a Symmetry Detection Technique using PVS
Ripon,S. Miller,A. Proceedings of the 10th International Conference on Automated Verification of Critical Systems (AVOCS'10) [More Details].

2009

A Semantic Embedding of Promela-Lite in PVS
Ripon,S. Miller,A. Donaldson,D. Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS'09) [More Details].

Semantic Embedding of Promela-lite in PVS
Ripon,S. Miller,A. Proceedings of the 16th Workshop on Automated reasoning [More Details].