Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Safety Critical Tool List

Email Gateway (Aug 18 2022 at 10:57):

From: Gergely Buday <gbuday@gmail.com>
Hi Isabelle users,

is there any project based on Isabelle that would qualify to this
list, at least in development phase?

http://ccgi.scsc.org.uk/tools.php?opt=list

I got this link on the safety-critical mailing list where there are a
lot of people from industry.

http://www.cs.york.ac.uk/hise/sc_list.php

• Gergely

Last updated: May 03 2024 at 08:18 UTC