{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:56Z","timestamp":1750221296412,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:00:00Z","timestamp":1544140800000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2018,12,7]]},"abstract":"<jats:p>The Binary Decision Diagram (BDD), a data structure used to efficiently represent Boolean formulas, enjoys use in the field of software verification. However, widely used implementations of the BDD are not themselves verifiable. This paper summarizes the design and implementation of a provably correct realization of the BDD as detailed in the author's master's thesis.<\/jats:p>","DOI":"10.1145\/3229783.3229801","type":"journal-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T19:45:00Z","timestamp":1544211900000},"page":"19-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["An Exercise in Design"],"prefix":"10.1145","volume":"43","author":[{"given":"Saad F.","family":"Asim","sequence":"first","affiliation":[{"name":"The Ohio State University"}]}],"member":"320","published-online":{"date-parts":[[2018,12,7]]},"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3229783.3229801","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3229783.3229801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:11Z","timestamp":1750212791000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3229783.3229801"}},"subtitle":["The Binary Decision Diagram"],"short-title":[],"issued":{"date-parts":[[2018,12,7]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,12,7]]}},"alternative-id":["10.1145\/3229783.3229801"],"URL":"https:\/\/doi.org\/10.1145\/3229783.3229801","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2018,12,7]]},"assertion":[{"value":"2018-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}