Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
formal methods: integrating THORN and the Shen type checker
77 views
Skip to first unread message
dr.mt...@gmail.com
Nov 30, 2024, 3:29:53 PM11/30/24
to Shen
This is an approach I want to try wrt formal methods in Shen.
It will integrate THORN and the type checker in an interactive
system designed to secure program verification. I'll post here as
work proceeds.
Mark
Reply all
Reply to author
Forward
0 new messages