Verifying RTuinOS using VCC: From approach to practice.

Hongliang Liang Daijie Zhang Xiaodong Jia Xiaoxiao Pei Guangyuan Li

Published in: SNPD (2016)

Keyphrases

real world
databases
real time
multi agent
software engineering
input image
model checking
widely accepted