Generating a Device Driver with a Formal Specification Language.

Tetsuro Katayama Keizo Saisho Akira Fukuda

Published in: Applied Informatics (1999)

Keyphrases

formal specification language
formal specification
car navigation
temporal logic
formal methods
case study
model checking
cellular phone
data sets
computer vision
information systems
control system
data acquisition