{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T20:54:50Z","timestamp":1777582490784,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540779643","type":"print"},{"value":"9783540779667","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77966-7_8","type":"book-chapter","created":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T08:59:24Z","timestamp":1201856364000},"page":"51-68","source":"Crossref","is-referenced-by-count":10,"title":["Verifying Parametrised Hardware Designs Via Counter Automata"],"prefix":"10.1007","author":[{"given":"Ales","family":"Smr\u010dka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"S. Bardin","year":"2003","unstructured":"Bardin, S., Finkel, A., Leroux, J., Petrucci, L.: FAST: Fast Acceleration of Symbolic Transition systems. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, Springer, Heidelberg (2003)"},{"key":"8_CR2","unstructured":"Bardin, S., Finkel, A., Lozes, E.: From Pointer Systems to Counter Systems Using Shape Analysis. In: Proc. of AVIS 2006 (2006)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_47","volume-title":"Computer Aided Verification","author":"A. Bouajjani","year":"2006","unstructured":"Bouajjani, A., Bozga, M., Habermehl, P., Iosif, R., Moro, P., Vojnar, T.: Programs with Lists are Counter Automata. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, Springer, Heidelberg (2006)"},{"issue":"2\u20133","key":"8_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000040026.56959.91","volume":"25","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E., Groce, A., Ouaknine, J., Strichman, O., Yorav, K.: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design\u00a025(2\u20133), 129\u2013166 (2004)","journal-title":"Formal Methods in System Design"},{"key":"8_CR5","doi-asserted-by":"crossref","DOI":"10.1002\/0471786411","volume-title":"RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability","author":"P.P. Chu","year":"2006","unstructured":"Chu, P.P.: RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability. John Wiley and Sons, Inc, Hoboken, New Jersey (2006)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028751","volume-title":"Computer Aided Verification","author":"H. Comon","year":"1998","unstructured":"Comon, H., Jurski, Y.: Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, Springer, Heidelberg (1998)"},{"key":"8_CR7","unstructured":"Habermehl, P., Iosif, R., Rogalewicz, A., Vojnar, T.: Proving Termination of Tree Manipulating Programs. Verimag, TR-2007-1\u00a0 (2007), \n                    \n                      http:\/\/www-verimag.imag.fr\/index.php?page=techrep-list"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_17","volume-title":"Model Checking Software","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Software Verification with Blast. In: Ball, T., Rajamani, S.K. (eds.) Model Checking Software. LNCS, vol.\u00a02648, Springer, Heidelberg (2003)"},{"key":"8_CR9","volume-title":"Proc. of FPL 2005","author":"J. Ko\u0159enek","year":"2005","unstructured":"Ko\u0159enek, J., Pe\u010denka, T., \u017d\u00e1dn\u00edk, M.: NetFlow Probe Intended for High-Speed Networks. In: Proc. of FPL 2005, IEEE Computer Society, Los Alamitos (2005)"},{"key":"8_CR10","volume-title":"Computation: Finite and Infinite Machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall International, Englewood Cliffs (1967)"},{"key":"8_CR11","unstructured":"IEEE Computer Society. IEEE Std 1076-2000. IEEE Standard VHDL Language Reference Manual.IEEE Std 1076-2000, Pages. 290 (2000) ISBN: 0-7381-1948-2"},{"key":"8_CR12","unstructured":"Leonardo Spectrum, Mentor Graphics (2007), \n                    \n                      http:\/\/www.mentor.com\/products\/fpga_pld\/synthesis\/leonardo_spectrum"},{"key":"8_CR13","unstructured":"Liberouter Project Homepage. \n                    \n                      http:\/\/www.liberouter.org"},{"key":"8_CR14","unstructured":"ModelSim, Mentor Graphics, (2007), \n                    \n                      http:\/\/www.model.com"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Practical Aspects of Declarative Languages","author":"A. Podelski","year":"2006","unstructured":"Podelski, A., Rybalchenko, A.: ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, Springer, Heidelberg (2006)"},{"key":"8_CR16","unstructured":"Smr\u010dka, A.: VHD2CA. In: A Prototype of a Translator from VHDL to Counter Automata, \n                    \n                      http:\/\/www.fit.vutbr.cz\/~smrcka\/projects\/vhd2ca\/"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods: Applications and Technology","author":"D. \u0160afr\u00e1nek","year":"2007","unstructured":"\u0160afr\u00e1nek, D., Smr\u010dka, A., Vojnar, T., \u0158eh\u00e1k, V., \u0158eh\u00e1k, Z., Matou\u0161ek, P.: Verifying VHDL Design with Multiple Clocks in SMV. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, Springer, Heidelberg (2007)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"T. Yavuz-Kahveci","year":"2005","unstructured":"Yavuz-Kahveci, T., Bartzis, C., Bultan, T.: Action Language Verifier, Extended. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77966-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:57:29Z","timestamp":1619521049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77966-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540779643","9783540779667"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77966-7_8","relation":{},"subject":[]}}