Model checking boot code from AWS data centers
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle[doi] [Google Scholar] [DBLP] [Citeseer]
International Conference on Computer Aided Verification
Springer
Pages 467-486
2018
Topic(s): tools os verification
Note(s): bounded model checking, bounded verification, model checking
Springer
Pages 467-486
2018
Topic(s): tools os verification
Note(s): bounded model checking, bounded verification, model checking