Integrity Checking of Railway Interlocking Firmware.

Ronny Bäckman Ian Oliver Gabriela Limonta

Published in: SAFECOMP Workshops (2020)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
operating system
computer systems
power consumption
semantic query optimization
constraint logic programming
highly modular
ibm zenterprise
database systems
query answering