{"id":"https://openalex.org/W2075646267","doi":"https://doi.org/10.1109/memcod.2006.1695926","title":"Equivalence checking: a rule-based approach","display_name":"Equivalence checking: a rule-based approach","publication_year":2006,"publication_date":"2006-09-22","ids":{"openalex":"https://openalex.org/W2075646267","doi":"https://doi.org/10.1109/memcod.2006.1695926","mag":"2075646267"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2006.1695926","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2006.1695926","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","raw_type":"proceedings-article"},"type":"conference-abstract","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"M. Fujita","raw_affiliation_strings":["University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071314730","display_name":"Subash Shankar","orcid":null},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Shankar","raw_affiliation_strings":["CUNY, City University of New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CUNY, City University of New York, USA","institution_ids":["https://openalex.org/I174216632"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090468013","display_name":"Shida Shunsuke","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"S. Shunsuke","raw_affiliation_strings":["University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"197","last_page":"197"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7473277449607849},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7157211303710938},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6150280237197876},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5981343388557434},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5761505365371704},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.5413956046104431},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5348151326179504},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.5265764594078064},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4929008483886719},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.4665849804878235},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4358684718608856},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1598835289478302},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.12216776609420776},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11792582273483276}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7473277449607849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7157211303710938},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6150280237197876},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5981343388557434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5761505365371704},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.5413956046104431},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5348151326179504},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.5265764594078064},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4929008483886719},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.4665849804878235},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4358684718608856},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1598835289478302},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.12216776609420776},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11792582273483276},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2006.1695926","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2006.1695926","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1572578464","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2997654205","https://openalex.org/W2182066955","https://openalex.org/W2162351207","https://openalex.org/W2106934209","https://openalex.org/W1583869287","https://openalex.org/W2365988016"],"abstract_inverted_index":{"A":[0],"well-known":[1],"problem":[2,39],"in":[3,87],"the":[4,17,29,37,64,82,122],"design":[5],"of":[6,13,24,28,47,72,94],"embedded":[7],"systems":[8,83],"is":[9,40],"checking":[10],"for":[11],"equivalence":[12,23],"two":[14,30],"systems,":[15],"and":[16,21,34,44,60,114],"traditional":[18],"approach":[19,106],"constructs":[20],"proves":[22],"finite":[25],"state":[26,41],"models":[27],"systems.":[31],"Although":[32],"widely":[33],"successfully":[35],"used,":[36],"main":[38],"space":[42],"explosion,":[43],"other":[45],"forms":[46],"higher-level":[48],"analysis":[49],"are":[50],"also":[51],"needed":[52],"typically.":[53],"Many":[54],"typical":[55],"system":[56],"level":[57,110],"design/synthesis":[58],"tools":[59],"methodologies":[61],"basically":[62],"transform":[63],"control":[65],"structures":[66],"among":[67],"function":[68],"calls":[69],"and/or":[70],"sets":[71],"statements,":[73],"with":[74],"little":[75],"modification":[76],"to":[77],"statements":[78],"themselves.":[79],"For":[80,99],"example,":[81],"might":[84],"differ":[85],"only":[86],"statement":[88],"order,":[89],"dataflows":[90],"(for":[91],"differing":[92],"amounts":[93],"parallelism),":[95],"or":[96],"abstraction":[97],"levels.":[98],"such":[100],"cases,":[101],"we":[102,115],"have":[103,116],"developed":[104],"an":[105],"based":[107],"on":[108],"higher":[109],"static":[111],"code":[112],"analysis,":[113],"implemented":[117],"a":[118],"tool":[119],"targeted":[120],"at":[121],"SpecC":[123],"language":[124]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}