-A A +A

Software

Axelerator

Safety Verification via Abstract Acceleration

Link

 

 

 

 

Benchmarks for building automation systems

Benchmarks for cyber-physical systems: A modular model library for buildings automation

Link

DSSynth

Automated Digital Controller Synthesis for Physical Plants (DSSynth)

Link

FAUST2

Formula-based Abstraction of Stochastic Systems (FAUST^2, with S.E.Z. Soudjani)

Link

Fault Maintenance Trees

Probabilistic model checking of Fault Maintenance Trees via PRISM

Link

StocHy

Automated verification and synthesis of stochastic processes (StocHy, with N. Cauchi)

 

Link

 

 

VERISIMPL

Finite Abstraction of MPL models (VeriSiMPL, with D. Adzkiya)

Link

 

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.