A Formal Specification of Operating System based on ARINC 653.
Ziyan WangYan ZhangPublished in: CoRR (2022)
Keyphrases
- formal specification
- operating system
- model checking
- object oriented design
- specification languages
- computer systems
- virtual machine
- process algebra
- distributed systems
- reverse engineering
- concurrent systems
- windows xp
- formal methods
- multi tasking
- memory management
- microsoft windows
- response time
- red hat
- discretionary access control
- address space
- data processing
- protocol specification