{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T10:03:43Z","timestamp":1725444223253},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487924","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"242-243","source":"Crossref","is-referenced-by-count":0,"title":["Extended abstract: formal verification of architectural patterns in support of dependable distributed systems"],"prefix":"10.1109","author":[{"given":"R.","family":"Jeffords","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Bharadwaj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45133-4_11"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82565-4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"1","article-title":"The SPREAD wide area group communication system","author":"amir","year":"1998","journal-title":"Technical Report"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"5","first-page":"378","article-title":"Salsa: Combining constraint solvers with BDDs for automatic invariant checking","author":"bharadwaj","year":"2000","journal-title":"Proc TACAS 2000"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008697817793"},{"key":"9","first-page":"28","article-title":"A strategy for efficiently verifying requirements specifications using composition and invariants","author":"jeffords","year":"2003","journal-title":"Proc ESEC-9\/FSE-11"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxh065"},{"key":"11","article-title":"The PVS system guide, language reference, and prover guide, version 2.4","author":"owre","year":"2001","journal-title":"Technical Report"},{"key":"12","article-title":"Specification, analysis, and implementation of architectural patterns for dependable software systems","author":"yau","year":"2005","journal-title":"Proc WORDS 2005"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487924.pdf?arnumber=1487924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T11:30:08Z","timestamp":1489491008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487924","relation":{},"subject":[]}}