20 Mar
2016
20 Mar
'16
4:37 a.m.
Since the formal verification of functional correctness of seL4 was performed using the Isabelle theorem prover, could someone tell me if Isabelle itself has been formally verified? If so, could you suggest some good references to that work? Regards, Steve Steven H. VanderLeest, Ph.D. Chief Operating Officer DornerWorks, Ltd. 3445 Lake Eastbrook Grand Rapids, MI 49546 www.dornerworks.com
3658
Age (days ago)
3658
Last active (days ago)
2 comments
3 participants
participants (3)
-
Gerwin Klein -
Harry Butterworth -
Steve VanderLeest