Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL.

Yakoub Nemouchi Sriharsha Etigowni Alexander J. Zolan Richard Macwan

Published in: VSTTE (2023)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
real time
dynamic environments
complex environments
heterogeneous environments
relational databases
data mining
databases
data sets
formal methods
functional requirements
web based systems
database
cut elimination