Index

A | C | D | E | F | G | I | L | R | S | T | Y

A

API	assembler language

C

C language

C11 CCB

D

Doorstop

E

EARS

ELF

F

formal model

G

GCC

GNAT GNU

I

interrupt service

Interrupt Service Routine ISVV

L

Linear Temporal Logic

LTL

R

refinement reification

ReqIF RTEMS

S

scenario semantics software component

software product software unit source code

T

target

task thread

Y

YAML