Computer Science
8 years ago

Revolutionizing Operating Systems: Formal Design & Verification for Safer Technology

Jisuanji gongcheng
Survey of Formal Design and Verification for Operating System
Qian Zhen-jianga

Paper Summary

The article discusses how formal design and verification can improve operating systems. It compares different OS architectures and examines various design and verification projects. The research highlights the benefits and limitations of formal methods in OS development. It also looks at current trends and suggests ways to enhance formal design and verification processes.

Related papers

Theme background image
Computer Science
8 years ago

European tools revolutionize electronic system verification for future technological advancements.

Formal Methods
Reconfigurable Computing
Fault Tolerance
Theme background image
Computer Science
8 years ago

Revolutionizing hardware design with exhaustive formal verification methodology!

Formal Methods
Fault Tolerance
Reconfigurable Computing
Theme background image
Computer Science
8 years ago

Revolutionizing Hardware Design Verification with Mathematical Techniques

Formal Methods
Reconfigurable Computing
Fault Tolerance