-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

 

USEFUL LINKS

MORE USEFUL LINKS

GET IN TOUCH WITH US

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.