{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:37Z","timestamp":1772164057542,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":2,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T00:00:00Z","timestamp":1413590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,18]]},"DOI":"10.1145\/2663171.2663185","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T08:29:24Z","timestamp":1413275364000},"page":"97-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Spot"],"prefix":"10.1145","author":[{"given":"Robert L.","family":"Bocchino","sequence":"first","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}]},{"given":"Edward","family":"Gamble","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}]},{"given":"Kim P.","family":"Gostelow","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}]},{"given":"Raphael R.","family":"Some","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: A Model of Concurrent Computation in Distributed Systems . MIT Press , 1986 . G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986."},{"key":"e_1_3_2_1_2_1","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . The SPIN Model Checker: Primer and Reference Manual . Addison-Wesley Publishing Company , 2003 . G. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Publishing Company, 2003."}],"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663185","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663171.2663185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:47Z","timestamp":1750212827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663185"}},"subtitle":["a programming language for verified flight software"],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"references-count":2,"alternative-id":["10.1145\/2663171.2663185","10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171.2663185","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692956.2663185","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,18]]},"assertion":[{"value":"2014-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}