-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

VERISIMPL

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

Link

 

CONTACT US

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.