{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:08:47Z","timestamp":1740719327278,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232520"},{"type":"electronic","value":"9783540302322"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30232-2_17","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T15:56:19Z","timestamp":1287935779000},"page":"259-275","source":"Crossref","is-referenced-by-count":10,"title":["Witness and Counterexample Automata for ACTL"],"prefix":"10.1007","author":[{"given":"Robert","family":"Meolic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1006\/jcss.2000.1734","volume":"62","author":"F. Buccafurri","year":"2001","unstructured":"Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: On ACTL formulas having linear counterexamples. Journal of computer and syst. sciences\u00a062(3), 463\u2013515 (2001)","journal-title":"Journal of computer and syst. sciences"},{"issue":"16","key":"17_CR2","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"5","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model Checking and Abstraction. ACM Transaction on Programming Languages and Systems\u00a05(16), 1512\u20131542 (1994)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"issue":"2","key":"17_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Transaction on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Jha, S., Lu, Y., Veith, H.: Tree-like Counterexamples in Model Checking. In: 17th IEEE Symp. on Logic in Computer Science (LICS), pp. 19\u201329 (2002)","DOI":"10.1109\/LICS.2002.1029814"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-44798-9_23","volume-title":"Correct Hardware Design and Verification Methods","author":"F. Copty","year":"2001","unstructured":"Copty, F., Irron, A., Weissberg, O., Kropp, N., Kamhi, G.: Efficient Debugging in a Formal Verification Environment. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, pp. 275\u2013292. Springer, Heidelberg (2001)"},{"issue":"3","key":"17_CR6","first-page":"171","volume":"32","author":"A. \u010casar","year":"2002","unstructured":"\u010casar, A., Brezo\u010dnik, Z., Kapus, T.: Exploiting Symbolic Model Checking for Sensing Stuck-at Faults in Digital Circuits. Informacije MIDEM\u00a032(3), 171\u2013180 (2002)","journal-title":"Informacije MIDEM"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Maggiore, A.: Enhancing test coverage by back-tracing model-checker counterexamples. In: Int. Workshop on Test and Analysis of Component Based Syst, TACOS (2004); to appear in Electronic Notes in Theoretical Computer Science","DOI":"10.1016\/j.entcs.2004.02.077"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0031805","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Geist","year":"1996","unstructured":"Geist, D., Farkas, M., Landver, A., Lichenstein, Y., Ur, S., Wolfsthal, Y.: Coverage- Directed Test Generation Using Symbolic Techniques. In: Srivas, M., Camilleri, A. (eds.) FMCAD 1996. LNCS, vol.\u00a01166, pp. 143\u2013158. Springer, Heidelberg (1996)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-36577-X_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Glusman","year":"2003","unstructured":"Glusman, M., Kamhi, G., Mador-Heim, S., Fraer, R., Vardi, M.: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 176\u2013191. Springer, Heidelberg (2003)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-36577-X_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Gurfinkel","year":"2003","unstructured":"Gurfinkel, A., Chechik, M.: Proof-Like Counter-Examples. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 160\u2013175. Springer, Heidelberg (2003)"},{"key":"17_CR11","unstructured":"Ho, P.H., Shiple, T., Harer, K., Kukula, J., Damiano, R., Bertacco, V., Taylor, J., Long, J.: Smart Simulation Using Collaborative Formal and Simulation Engines. In: Int. Conf. on Computer Aided Design, ICCAD (2000)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Maidl, M.: The Common Fragment of CTL and LTL. In: Proc. 41th Symp. on Foundations of Computer Science (FOCS), pp. 643\u2013652 (2000)","DOI":"10.1109\/SFCS.2000.892332"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.W.: Actions versus State Based Logics for Transition Systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44798-9_13","volume-title":"Correct Hardware Design and Verification Methods","author":"G. Ratzaby","year":"2001","unstructured":"Ratzaby, G., Ur, S., Wolfsthal, Y.: Coverability Analysis Using Symbolic Model Checking. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, p. 155. Springer, Heidelberg (2001)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-45614-7_3","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"G. Ratsaby","year":"2002","unstructured":"Ratsaby, G., Sterin, B., Ur, S.: Improvements in Coverabiliy Analysis. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, p. 41. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30232-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T04:52:42Z","timestamp":1740631962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30232-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232520","9783540302322"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30232-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}