Modelling and Verification of Real-Time Systems with Alvis.

Marcin Szpyrka Lukasz Podolski Michal Wypych

Published in: KKIO Software Engineering Conference (2017)

Keyphrases

real time systems
real time
distributed systems
embedded systems
model checking
timing constraints
mission critical
real time database systems
object oriented programming language
anytime algorithms
architectural model
cooperative
design patterns