<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10131088> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/title> "Code-level model checking in the software development workflow at Amazon Web Services"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/abstract> "This article describes a style of applying symbolic model checking developed over the course of four years at Amazon Web Services (AWS). Lessons learned are drawn from proving properties of numerous C-based systems, for example, custom hypervisors, encryption code, boot loaders, and an IoT operating system. Using our methodology, we find that we can prove the correctness of industrial low-level C-based systems with reasonable effort and predictability. Furthermore, AWS developers are increasingly writing their own formal specifications. As part of this effort, we have developed a CI system that allows integration of the proofs into standard development workflows and extended the proof tools to provide better feedback to users. All proofs discussed in this article are publicly available on GitHub."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/date> "2021-04" .
<https://discovery.ucl.ac.uk/id/document/1340884> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/volume> "51" .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/issue> "4" .
<https://discovery.ucl.ac.uk/id/org/ext-69575aab272d692ae22e92dad044c2a2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-69575aab272d692ae22e92dad044c2a2> <http://xmlns.com/foaf/0.1/name> "WILEY"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-69575aab272d692ae22e92dad044c2a2> .
<https://discovery.ucl.ac.uk/id/publication/ext-5f3c4a021ca037f98170a51984ab5acf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-5f3c4a021ca037f98170a51984ab5acf> <http://xmlns.com/foaf/0.1/name> "Software: Practice and Experience"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-5f3c4a021ca037f98170a51984ab5acf> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-b712b6964dc11fa537224711fc69241d> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-b712b6964dc11fa537224711fc69241d> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-9ed5958303c0192f212bbd1102e32c99> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-9ed5958303c0192f212bbd1102e32c99> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-9aa357ea43038acd0279ba84d829d026> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-9aa357ea43038acd0279ba84d829d026> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-a20d9866d005f8558a20e6f82b5e1761> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-a20d9866d005f8558a20e6f82b5e1761> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-af6af0349eafa8a76812ee179db2b19f> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <https://discovery.ucl.ac.uk/id/person/ext-af6af0349eafa8a76812ee179db2b19f> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-a4439eb12d44a17a514349bb2e4dc315> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_6> <https://discovery.ucl.ac.uk/id/person/ext-a4439eb12d44a17a514349bb2e4dc315> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-d39df55660dd205d96a9d539414cb6c7> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_7> <https://discovery.ucl.ac.uk/id/person/ext-d39df55660dd205d96a9d539414cb6c7> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-561c8d0c34ac52b4d31a093406cacdd2> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_8> <https://discovery.ucl.ac.uk/id/person/ext-561c8d0c34ac52b4d31a093406cacdd2> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-e12547ae0357e73f16c24b764d9b1e7a> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_9> <https://discovery.ucl.ac.uk/id/person/ext-e12547ae0357e73f16c24b764d9b1e7a> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-01aece86af1f4fa029b4830628647d8d> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10131088#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10131088#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_10> <https://discovery.ucl.ac.uk/id/person/ext-01aece86af1f4fa029b4830628647d8d> .
<https://discovery.ucl.ac.uk/id/person/ext-9ed5958303c0192f212bbd1102e32c99> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-9ed5958303c0192f212bbd1102e32c99> <http://xmlns.com/foaf/0.1/givenName> "B"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9ed5958303c0192f212bbd1102e32c99> <http://xmlns.com/foaf/0.1/familyName> "Cook"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9ed5958303c0192f212bbd1102e32c99> <http://xmlns.com/foaf/0.1/name> "B Cook"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-561c8d0c34ac52b4d31a093406cacdd2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-561c8d0c34ac52b4d31a093406cacdd2> <http://xmlns.com/foaf/0.1/givenName> "S"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-561c8d0c34ac52b4d31a093406cacdd2> <http://xmlns.com/foaf/0.1/familyName> "Tasiran"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-561c8d0c34ac52b4d31a093406cacdd2> <http://xmlns.com/foaf/0.1/name> "S Tasiran"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-01aece86af1f4fa029b4830628647d8d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-01aece86af1f4fa029b4830628647d8d> <http://xmlns.com/foaf/0.1/givenName> "MR"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-01aece86af1f4fa029b4830628647d8d> <http://xmlns.com/foaf/0.1/familyName> "Tuttle"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-01aece86af1f4fa029b4830628647d8d> <http://xmlns.com/foaf/0.1/name> "MR Tuttle"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a20d9866d005f8558a20e6f82b5e1761> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-a20d9866d005f8558a20e6f82b5e1761> <http://xmlns.com/foaf/0.1/givenName> "K"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a20d9866d005f8558a20e6f82b5e1761> <http://xmlns.com/foaf/0.1/familyName> "Kallas"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a20d9866d005f8558a20e6f82b5e1761> <http://xmlns.com/foaf/0.1/name> "K Kallas"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-af6af0349eafa8a76812ee179db2b19f> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-af6af0349eafa8a76812ee179db2b19f> <http://xmlns.com/foaf/0.1/givenName> "K"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-af6af0349eafa8a76812ee179db2b19f> <http://xmlns.com/foaf/0.1/familyName> "Khazem"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-af6af0349eafa8a76812ee179db2b19f> <http://xmlns.com/foaf/0.1/name> "K Khazem"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9aa357ea43038acd0279ba84d829d026> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-9aa357ea43038acd0279ba84d829d026> <http://xmlns.com/foaf/0.1/givenName> "J"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9aa357ea43038acd0279ba84d829d026> <http://xmlns.com/foaf/0.1/familyName> "Eidelman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9aa357ea43038acd0279ba84d829d026> <http://xmlns.com/foaf/0.1/name> "J Eidelman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a4439eb12d44a17a514349bb2e4dc315> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-a4439eb12d44a17a514349bb2e4dc315> <http://xmlns.com/foaf/0.1/givenName> "FR"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a4439eb12d44a17a514349bb2e4dc315> <http://xmlns.com/foaf/0.1/familyName> "Monteiro"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a4439eb12d44a17a514349bb2e4dc315> <http://xmlns.com/foaf/0.1/name> "FR Monteiro"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e12547ae0357e73f16c24b764d9b1e7a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-e12547ae0357e73f16c24b764d9b1e7a> <http://xmlns.com/foaf/0.1/givenName> "M"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e12547ae0357e73f16c24b764d9b1e7a> <http://xmlns.com/foaf/0.1/familyName> "Tautschnig"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e12547ae0357e73f16c24b764d9b1e7a> <http://xmlns.com/foaf/0.1/name> "M Tautschnig"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d39df55660dd205d96a9d539414cb6c7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-d39df55660dd205d96a9d539414cb6c7> <http://xmlns.com/foaf/0.1/givenName> "D"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d39df55660dd205d96a9d539414cb6c7> <http://xmlns.com/foaf/0.1/familyName> "Schwartz-Narbonne"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d39df55660dd205d96a9d539414cb6c7> <http://xmlns.com/foaf/0.1/name> "D Schwartz-Narbonne"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b712b6964dc11fa537224711fc69241d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-b712b6964dc11fa537224711fc69241d> <http://xmlns.com/foaf/0.1/givenName> "N"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b712b6964dc11fa537224711fc69241d> <http://xmlns.com/foaf/0.1/familyName> "Chong"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b712b6964dc11fa537224711fc69241d> <http://xmlns.com/foaf/0.1/name> "N Chong"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340884> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1340884> <http://www.w3.org/2000/01/rdf-schema#label> "Code-level model checking in the software development workflow at Amazon Web Services (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340884> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10131088/1/spe.2949.pdf> .
<https://discovery.ucl.ac.uk/id/document/1340884> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10131088/1/spe.2949.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/1/spe.2949.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "spe.2949.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1340885> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://www.w3.org/2000/01/rdf-schema#label> "Code-level model checking in the software development workflow at Amazon Web Services (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10131088/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1340885> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10131088/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/2/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1340886> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://www.w3.org/2000/01/rdf-schema#label> "Code-level model checking in the software development workflow at Amazon Web Services (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10131088/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1340886> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10131088/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1340887> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://www.w3.org/2000/01/rdf-schema#label> "Code-level model checking in the software development workflow at Amazon Web Services (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10131088/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1340887> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10131088/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1340888> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://www.w3.org/2000/01/rdf-schema#label> "Code-level model checking in the software development workflow at Amazon Web Services (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10131088/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1340888> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10131088/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1340889> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://www.w3.org/2000/01/rdf-schema#label> "Code-level model checking in the software development workflow at Amazon Web Services (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1340884> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10131088/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1340889> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10131088/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10131088> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10131088/> .
<https://discovery.ucl.ac.uk/id/eprint/10131088/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10131088 \n\nCode-level model checking in the software development workflow at Amazon Web Services\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10131088/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10131088/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10131088> .