{"id":"https://openalex.org/W1981842896","doi":"https://doi.org/10.1109/memcod.2012.6292302","title":"Interactive verification of synchronous systems","display_name":"Interactive verification of synchronous systems","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W1981842896","doi":"https://doi.org/10.1109/memcod.2012.6292302","mag":"1981842896"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2012.6292302","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2012.6292302","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)","raw_type":"proceedings-article"},"type":"article","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/A5047323134","display_name":"Manuel Gesell","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Manuel Gesell","raw_affiliation_strings":["Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany","Dept. of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081184867","display_name":"Klaus Schneider","orcid":"https://orcid.org/0000-0002-1305-7132"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Schneider","raw_affiliation_strings":["Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany","Dept. of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047323134"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":null,"apc_paid":null,"fwci":0.6911,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69856459,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"2410","issue":null,"first_page":"75","last_page":"84"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983000159263611,"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/computer-science","display_name":"Computer science","score":0.8405147790908813},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5469406843185425},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5361195802688599},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5059964060783386},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44807979464530945},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.42274850606918335},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.4207283556461334},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18676868081092834},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.08010956645011902}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8405147790908813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5469406843185425},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5361195802688599},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5059964060783386},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44807979464530945},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.42274850606918335},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.4207283556461334},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18676868081092834},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.08010956645011902},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/memcod.2012.6292302","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2012.6292302","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)","raw_type":"proceedings-article"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-027852048","is_oa":false,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-39734","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:kluedo.ub.rptu.de:3973","is_oa":false,"landing_page_url":"https://kluedo.ub.rptu.de/frontdoor/index/index/docId/3973","pdf_url":null,"source":{"id":"https://openalex.org/S4306402046","display_name":"Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153267046","host_organization_name":"University of Kaiserslautern","host_organization_lineage":["https://openalex.org/I153267046"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoralthesis"},{"id":"pmh:oai:kluedo.ub.uni-kl.de:3973","is_oa":false,"landing_page_url":"https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/3973","pdf_url":null,"source":{"id":"https://openalex.org/S4306402046","display_name":"Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153267046","host_organization_name":"University of Kaiserslautern","host_organization_lineage":["https://openalex.org/I153267046"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoralthesis"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W303139982","https://openalex.org/W1481570872","https://openalex.org/W1489435921","https://openalex.org/W1511246520","https://openalex.org/W1515386905","https://openalex.org/W1534850143","https://openalex.org/W1547246349","https://openalex.org/W1548312885","https://openalex.org/W1556900989","https://openalex.org/W1565791475","https://openalex.org/W1571825417","https://openalex.org/W1575308494","https://openalex.org/W1595255563","https://openalex.org/W1606950856","https://openalex.org/W1621512913","https://openalex.org/W1857327297","https://openalex.org/W1964727056","https://openalex.org/W1965357972","https://openalex.org/W1965662337","https://openalex.org/W1982619477","https://openalex.org/W1999890019","https://openalex.org/W2007121005","https://openalex.org/W2024869133","https://openalex.org/W2027329270","https://openalex.org/W2031167299","https://openalex.org/W2036952936","https://openalex.org/W2054198444","https://openalex.org/W2063169916","https://openalex.org/W2066210260","https://openalex.org/W2068308783","https://openalex.org/W2069300761","https://openalex.org/W2089331463","https://openalex.org/W2096455207","https://openalex.org/W2098347737","https://openalex.org/W2107517480","https://openalex.org/W2108124812","https://openalex.org/W2111619838","https://openalex.org/W2120665166","https://openalex.org/W2127335869","https://openalex.org/W2131349720","https://openalex.org/W2147543351","https://openalex.org/W2151561628","https://openalex.org/W2157118812","https://openalex.org/W2589217375","https://openalex.org/W2912904668","https://openalex.org/W2987907651","https://openalex.org/W3144368627","https://openalex.org/W3146075203","https://openalex.org/W3149435168","https://openalex.org/W4234528212","https://openalex.org/W4244819751","https://openalex.org/W4248651238","https://openalex.org/W4251912342","https://openalex.org/W4255372729","https://openalex.org/W6610773549","https://openalex.org/W6629262177","https://openalex.org/W6630902844","https://openalex.org/W6631954194","https://openalex.org/W6632447746","https://openalex.org/W6632997174","https://openalex.org/W6636361364","https://openalex.org/W6651964806"],"related_works":["https://openalex.org/W4205762803","https://openalex.org/W4312475206","https://openalex.org/W2535856026","https://openalex.org/W2265065644","https://openalex.org/W2134699697","https://openalex.org/W2322875716","https://openalex.org/W2468698815","https://openalex.org/W2383516975","https://openalex.org/W2374878784","https://openalex.org/W2147679489"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,82,91],"new":[3],"approach":[4,13],"to":[5,21,81],"the":[6,33,39,59,62,95,101,106,112,115,121,130],"interactive":[7],"verification":[8,131],"of":[9,35,47,114,120,129],"synchronous":[10,27,48],"systems.":[11],"Our":[12],"is":[14,89],"based":[15],"on":[16,44,118],"two":[17,96],"system":[18,97,117],"representations:":[19],"Systems":[20],"be":[22],"verified":[23],"are":[24,30,42,52,71],"given":[25],"as":[26,74],"programs":[28],"that":[29,51],"considered":[31],"for":[32],"selection":[34],"proof":[36,40,75,116],"rules,":[37],"while":[38,111],"rules":[41],"applied":[43],"equivalent":[45],"sets":[46],"guarded":[49,64,122],"actions":[50,65,123],"obtained":[53,63],"by":[54],"an":[55],"automatic":[56],"translation":[57],"from":[58],"programs.":[60],"Since":[61],"contain":[66],"assumptions":[67],"and":[68],"assertions,":[69],"they":[70],"directly":[72],"used":[73],"goals":[76],"in":[77],"our":[78],"approach.":[79],"Due":[80],"back-annotation":[83],"via":[84],"control":[85],"flow":[86],"locations,":[87],"there":[88],"still":[90,104],"direct":[92],"correspondence":[93],"between":[94],"representations.":[98],"This":[99],"way,":[100],"user":[102],"can":[103],"consider":[105],"more":[107,126],"readable":[108],"program":[109],"code":[110],"implementation":[113],"top":[119],"allows":[124],"much":[125],"flexible":[127],"decompositions":[128],"goals.":[132]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}