[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Alleged "microkernel mathematically proven to be bug free"

To: [email protected]
Subject: Alleged "microkernel mathematically proven to be bug free"
From: [email protected] (Georgi Guninski)
Date: Mon, 28 Jul 2014 18:26:50 +0300

news:
http://www.theregister.co.uk/2014/07/28/aussie_droneprotecting_hackerdetecting_kernel_goes_open_source/
site:
http://sel4.systems/

AFAICT they used Isabelle for the proofs.

Coq sucks much (not counting its developers).

Follow-Ups:
- Alleged "microkernel mathematically proven to be bug free"
  - From: [email protected] (Lodewijk andré de la porte)
- Alleged "microkernel mathematically proven to be bug free"
  - From: [email protected] (Eugen Leitl)
- Alleged "microkernel mathematically proven to be bug free"
  - From: [email protected] (Georgi Guninski)

Prev by Date: [tor-talk] EFF / applied law mailing list?
Next by Date: Russia open procurement for report on deanonymization of Tor users
Previous by thread: archive ssl key expired
Next by thread: Alleged "microkernel mathematically proven to be bug free"
Index(es):
- Date
- Thread