StatVerif: Verification of Stateful Processes

Myrto Arapinis, Eike Ritter, Mark Ryan

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

37 Citations (Scopus)

3 results

Finished
TSB - Trust Domains: A Framework for Modelling and Designing E-Service Infrastructures for Controlled Information Sharing.
Ryan, M.
Engineering & Physical Science Research Council
18/07/11 → 17/07/14
Project: Research Councils
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, M.
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils
Verifying Interoperability requirements in Pervasive Systems
Ryan, M. & Ritter, E.
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils