Formal Model of a Multi-Core Kernel-based System

Abstract

Formal model of execution for a multicore kernel, tackling the grand challenge of formal verification of concurrent, real-world software systems. As demonstrator, they are targeting a specific multicore version of the seL4 microkernel.

Document Details

Document Type
DoD Grant Award
Publication Date
Mar 23, 2016
Source ID
FA23861514055

Entities

People

  • June Andronick

Organizations

  • Air Force Office of Scientific Research
  • National ICT Australia
  • United States Air Force

Tags

Fields of Study

  • Computer science

Readers

  • Parallel and Distributed Computing.
  • Political Violence and Terrorism Studies.
  • Software Engineering.