Towards an executable semantics of automobile RTOS standard and its application to conformance verification.

Xiaoran Zhu Min Zhang Jian Guo

Published in: CoRR (2017)

Keyphrases

process algebra
model checking
control flow
asynchronous circuits
formal semantics
artificial intelligence
knowledge base
programming language
semantic information
formal specification
face verification
specification language
verification method