{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:48:56Z","timestamp":1761929336554},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733690"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73370-6_17","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T00:03:26Z","timestamp":1188432206000},"page":"263-267","source":"Crossref","is-referenced-by-count":142,"title":["BEEM: Benchmarks for Explicit Model Checkers"],"prefix":"10.1007","author":[{"given":"Radek","family":"Pel\u00e1nek","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Atiya, D.A., Catano, N., L\u00fcettgen, G.: Towards a benchmark for model checkers of asynchronous concurrent systems. In: Fifth International Workshop on Automated Verification of Critical Systems: AVOCs, University of Warwick, United Kingdom (September 12\u201313, 2005)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11817963_26","volume-title":"Computer Aided Verification","author":"J. Barnat","year":"2006","unstructured":"Barnat, J., Brim, L., \u010cern\u00e1, I., Moravec, P., Rockai, P., \u0160ime\u010dek, P.: Divine - a tool for distributed verification. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 278\u2013281. Springer, Heidelberg (2006), \n                  \n                    http:\/\/anna.fi.muni.cz\/divine"},{"issue":"3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett, J.C.: Evaluating deadlock detection methods for concurrent software. IEEE Trans. Softw. Eng.\u00a022(3), 161\u2013180 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR4","unstructured":"Crhov\u00e1, J., Kr\u010d\u00e1l, P., Strej\u010dek, J., \u0160afr\u00e1nek, D., \u0160ime\u010dek, P.: Yahoda: the database of verification tools. In: Proc. of TOOLSDAY affiliated to CONCUR 2002, FI MU report series (2002), Accessible at \n                  \n                    http:\/\/anna.fi.muni.cz\/yahoda\/"},{"issue":"4","key":"17_CR5","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s100090050038","volume":"2","author":"M.B. Dwyer","year":"2000","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Benchmarking finite-state verifiers. International Journal on Software Tools for Technology Transfer (STTT)\u00a02(4), 317\u2013320 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11817963_4","volume-title":"Computer Aided Verification","author":"T. Hoare","year":"2006","unstructured":"Hoare, T.: The ideal of verified software. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 5\u201316. Springer, Heidelberg (2006)"},{"key":"17_CR7","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts (2003)"},{"key":"17_CR8","series-title":"ENTCS","volume-title":"Proc. of Workshop on Parallel and Distributed Model Checking (PDMC 2003)","author":"M. Jones","year":"2003","unstructured":"Jones, M., Mercer, E., Bao, T., Kumar, R., Lamborn, P.: Benchmarking explicit state parallel model checkers. In: Proc. of Workshop on Parallel and Distributed Model Checking (PDMC 2003). ENTCS, vol.\u00a089, Elsevier, Amsterdam (2003)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-3-540-24732-6_2","volume-title":"Proc. of SPIN Workshop","author":"R. Pel\u00e1nek","year":"2004","unstructured":"Pel\u00e1nek, R.: Typical structural properties of state spaces. In: Graf, S., Mounier, L. (eds.) Proc. of SPIN Workshop. LNCS, vol.\u00a02989, pp. 5\u201322. Springer, Heidelberg (2004)"},{"key":"17_CR10","unstructured":"Pel\u00e1nek, R.: Web portal for benchmarking explicit model checkers. Technical Report FIMU-RS-2006-03, Masaryk University Brno (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73370-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:08:45Z","timestamp":1619518125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73370-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733690"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73370-6_17","relation":{},"subject":[]}}