User loginNavigation |
archivesBedrock case study, modular program verificationPeople have mentioned Bedrock on and off here over the years. I found the latest paper to be an exciting read since for some strange reason I like the idea of verification.
By raould at 2016-01-07 01:47 | LtU Forum | login or register to post comments | other blogs | 4871 reads
|
Browse archivesActive forum topics |
Recent comments
6 days 2 hours ago
6 days 6 hours ago
6 days 6 hours ago
23 weeks 11 hours ago
27 weeks 2 days ago
28 weeks 6 days ago
28 weeks 6 days ago
31 weeks 4 days ago
36 weeks 1 day ago
36 weeks 1 day ago