{"_id":"MvbgmEZM2KzWDdzkn","bibbaseid":"miller-srivas-formalverificationoftheaamp5microprocessoracasestudyintheindustrialuseofformalmethods-1995","author_short":["Miller, S. P.","Srivas, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of the AAMP5 microprocessor: A case study in the industrial use of formal methods","shorttitle":"Formal verification of the AAMP5 microprocessor","doi":"10/fg3sz7","booktitle":"Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Miller"],"firstnames":["Steven","P."],"suffixes":[]},{"propositions":[],"lastnames":["Srivas"],"firstnames":["Mandayam"],"suffixes":[]}],"year":"1995","note":"tex.ids= millerFormalVerificationAAMP51995a, millerFormalVerificationAAMP51995b, millerFormalVerificationAAMP51995c, millerFormalVerificationAAMP51995d","pages":"2–16","bibtex":"@inproceedings{miller_formal_1995,\n\ttitle = {Formal verification of the {AAMP5} microprocessor: {A} case study in the industrial use of formal methods},\n\tshorttitle = {Formal verification of the {AAMP5} microprocessor},\n\tdoi = {10/fg3sz7},\n\tbooktitle = {Proceedings of 1995 {IEEE} {Workshop} on {Industrial}-{Strength} {Formal} {Specification} {Techniques}},\n\tpublisher = {IEEE},\n\tauthor = {Miller, Steven P. and Srivas, Mandayam},\n\tyear = {1995},\n\tnote = {tex.ids= millerFormalVerificationAAMP51995a, millerFormalVerificationAAMP51995b, millerFormalVerificationAAMP51995c, millerFormalVerificationAAMP51995d},\n\tpages = {2--16},\n}\n\n","author_short":["Miller, S. P.","Srivas, M."],"key":"miller_formal_1995","id":"miller_formal_1995","bibbaseid":"miller-srivas-formalverificationoftheaamp5microprocessoracasestudyintheindustrialuseofformalmethods-1995","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","aamp5","microprocessor","case","study","industrial","use","formal","methods","miller","srivas"],"title":"Formal verification of the AAMP5 microprocessor: A case study in the industrial use of formal methods","year":1995}