resources

No albums or photos uploaded yet.

Reducing Quasi-equal Clocks in Networks of Timed Automata

 

QEBenchmarks

 

Quasi-dependent Variables in Hybrid Automata

 

Quasi-equal Clock Reduction: More Networks, More Queries

 

Quasi-equal Clock Reduction: Eliminating Assumptions on Networks

 

Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms