Inspec keywords: device drivers; protocols

Other keywords: domain-specific language; greater reliability; monitoring temporal properties; error-prone component; iteractive refinement; detect violation; electronic devices; virtual platforms; contract based specification mechanism; cyber-physical systems; protocol specification; hardware platforms; communication protocol; vehicle computers; specification language; general purpose processors; Internet of Things; driver-device communication; temporal property specifications; system life cycle; hardware-dependent software; communication protocols

Subjects: Peripheral interfaces; Instrumentation buses and protocols; Protocols; Protocols; General utility programs