Dependable System Software Development Technology

Research Project Outline

We realize technologies that enable us to ensure and verify safety and reliablity of system software based on static program analysis theories, especially by type theory and model checking theory. In addition, we develop and release practical verification tools that can be widely used by system software developers.

Research Director
ToshiyukiMaeda
Affiliation
Research Associate, The University of Tokyo
Research Started
2006
Status
ongoing
Research Area
Dependable Operating Systems for Embedded Systems Aiming at Practical Applications
Research Areas by Category
Research Areas Completed
Researcher Index
Search