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 | 4869 reads
|
Browse archivesActive forum topics |
Recent comments
1 day 13 hours ago
1 day 16 hours ago
1 day 16 hours ago
22 weeks 2 days ago
26 weeks 4 days ago
28 weeks 2 days ago
28 weeks 2 days ago
30 weeks 6 days ago
35 weeks 4 days ago
35 weeks 4 days ago