Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

Minxue Pan Shouyu Chen Yu Pei Tian Zhang Xuandong Li

Published in: ICSE (2019)

Keyphrases

formal methods
data mining
complex systems
computer systems
scheduling problem
computing systems
processing times
learning systems
data driven
management system
data sets
relational databases
lower bound
digital libraries
data structure
genetic algorithm
databases