{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:03:25Z","timestamp":1729645405690,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2004.1309133","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"207-216","source":"Crossref","is-referenced-by-count":2,"title":["Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Sole","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Pastor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337305"},{"key":"17","first-page":"6","article-title":"Efficient reachability set generation and storage using decision diagrams","volume":"1630","author":"miner","year":"1999","journal-title":"International Conference on Application and Theory of Petri Nets Volume 1630 of LNCS"},{"key":"18","first-page":"73","article-title":"Border-block triangular form and conjunction schedule in image computation","volume":"1954","author":"moon","year":"2000","journal-title":"Formal Methods in Computer-aided Design (FM-CAD) Volume 1954 of LNCS"},{"key":"33","first-page":"376","article-title":"On combining formal and informal verification","volume":"1254","author":"yuan","year":"1997","journal-title":"Proc International Workshop on Computer Aided Verification Volume 1254 of LNCS"},{"key":"15","first-page":"312","article-title":"Fine-grain conjunction scheduling for symbolic reachability analysis","volume":"2280","author":"jin","year":"2002","journal-title":"Proc Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002) Volume 2280 of LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810713"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1996.563525"},{"key":"14","first-page":"49","article-title":"Symbolic model checking with partitioned transition relations","author":"burch","year":"1991","journal-title":"International Conference on Very Large Scale Integration"},{"key":"11","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-58179-0_63","article-title":"Efficient model checking by automated ordering of transition relation partitions","volume":"818","author":"geist","year":"1994","journal-title":"Proc International Workshop on Computer Aided Verification Volume 818 of LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337308"},{"key":"21","first-page":"547","article-title":"Partitioned-ROBDDs - A compact, canonical and efficiently manipulable representation for Boolean functions","author":"narayan","year":"1997","journal-title":"Proc of the IEEE\/ACM International Conference on Computer Aided Design"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643565"},{"key":"22","article-title":"A short introduction to the TranSyT verification tool","volume":"rr 2004 14","author":"pastor","year":"2004","journal-title":"Technical Report"},{"key":"23","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","article-title":"VIS: A system for verification and synthesis","volume":"1102","author":"brayton","year":"1996","journal-title":"Proceedings of the Eighth International Conference on Computer Aided Verification CAV"},{"key":"24","article-title":"Efficient bdd algorithms for fsm synthesis and verification","author":"ranjan","year":"1995","journal-title":"Int Workshop Logic Synthesis"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480006"},{"key":"26","first-page":"250","article-title":"Hints to accelerate symbolic traversal","volume":"1703","author":"ravi","year":"1999","journal-title":"Correct Hardware Design and Verification Methods Advanced Research Working Conference CHARME Volume 1703 of LNCS"},{"key":"27","first-page":"374","article-title":"Verification of asynchronous circuits by bdd-based model checking of petri nets","author":"roig","year":"1995","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_14"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309133"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337306"},{"key":"10","article-title":"Efficient coverage directed state space search. in","author":"ganai","year":"1998","journal-title":"Proc International Workshop on Logic Synthesis"},{"journal-title":"Finite Transition Systems","year":"1994","author":"arnold","key":"1"},{"journal-title":"CUDD CU decision diagram package release","year":"1998","author":"somenzi","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.759068"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569819"},{"key":"32","first-page":"599","article-title":"Validation with guided search of the state space","author":"yang","year":"1998","journal-title":"Proc Design Automation Conference"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597241"},{"key":"31","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/DATE.2000.840045","article-title":"Automatic light-house generation for directed state space search","author":"yalagandula","year":"2000","journal-title":"Proc Design Automation and Test in Europe"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/368122.368878"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"}],"event":{"name":"Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.","location":"Hamilton, ON, Canada"},"container-title":["Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9149\/29052\/01309133.pdf?arnumber=1309133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,21]],"date-time":"2018-12-21T03:58:00Z","timestamp":1545364680000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1309133\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/csd.2004.1309133","relation":{},"subject":[]}}