{"id":"https://openalex.org/W2157639559","doi":"https://doi.org/10.1109/memcod.2005.1487918","title":"On the use of a high-level fault model to analyze logical consequence of properties","display_name":"On the use of a high-level fault model to analyze logical consequence of properties","publication_year":2005,"publication_date":"2005-07-27","ids":{"openalex":"https://openalex.org/W2157639559","doi":"https://doi.org/10.1109/memcod.2005.1487918","mag":"2157639559"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2005.1487918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2005.1487918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.","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/A5047244026","display_name":"S. Brait","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"S. Brait","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F. Fummi","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Pravadelli","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047244026"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.3514,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.63940185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"220","last_page":"229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.996399998664856,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.995199978351593,"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/correctness","display_name":"Correctness","score":0.9324338436126709},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6999785304069519},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6117831468582153},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6023576259613037},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5675743222236633},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.5441514253616333},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.4688143730163574},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46419087052345276},{"id":"https://openalex.org/keywords/logical-data-model","display_name":"Logical data model","score":0.44608089327812195},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4380199909210205},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.4132384955883026},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22604233026504517},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15110483765602112},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.12820830941200256},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.06847754120826721}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9324338436126709},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6999785304069519},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6117831468582153},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6023576259613037},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5675743222236633},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.5441514253616333},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.4688143730163574},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46419087052345276},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.44608089327812195},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4380199909210205},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.4132384955883026},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22604233026504517},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15110483765602112},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.12820830941200256},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.06847754120826721},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2005.1487918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2005.1487918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1491807613","https://openalex.org/W1503170978","https://openalex.org/W1592819458","https://openalex.org/W1970603830","https://openalex.org/W1976597924","https://openalex.org/W1982302236","https://openalex.org/W2002128397","https://openalex.org/W2067441543","https://openalex.org/W2078065502","https://openalex.org/W2100112273","https://openalex.org/W2117189826","https://openalex.org/W2120525820","https://openalex.org/W2122275570","https://openalex.org/W2141725526","https://openalex.org/W2150240033","https://openalex.org/W2152344976","https://openalex.org/W2153737593","https://openalex.org/W2180713429","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4242369257","https://openalex.org/W4248877409","https://openalex.org/W4300021588","https://openalex.org/W6635099289","https://openalex.org/W6670127199","https://openalex.org/W6682588266"],"related_works":["https://openalex.org/W279778610","https://openalex.org/W2123589391","https://openalex.org/W4247179048","https://openalex.org/W3152511098","https://openalex.org/W4242992945","https://openalex.org/W3023964411","https://openalex.org/W2096643522","https://openalex.org/W4230844979","https://openalex.org/W2149616879","https://openalex.org/W4252124005"],"abstract_inverted_index":{"Logical":[0],"consequence":[1,90,126],"between":[2,73],"properties":[3,46,128],"is":[4,67,96],"generally":[5],"examined":[6],"by":[7,32],"using":[8],"theorem":[9,105,135],"proving,":[10],"which":[11,28],"may":[12],"require":[13],"a":[14,25,43,53,74,77,88,104,121],"large":[15],"amount":[16],"of":[17,37,45,52,80,91,102,127],"time":[18],"and":[19,76,83,134],"space":[20],"resources.":[21],"This":[22],"paper":[23,62,119],"proposes":[24,120],"faster":[26],"approach,":[27],"analyzes":[29],"logical":[30,89,125],"consequences":[31],"observing":[33],"the":[34,50,59,81,92,99,108,118],"property":[35,70],"capability":[36],"revealing":[38],"high-level":[39,110,131],"faults.":[40],"We":[41],"consider":[42],"set":[44],"defined":[47],"to":[48,58,114,123],"check":[49],"correctness":[51],"design":[54],"(DUV)":[55],"with":[56],"respect":[57],"specification.":[60],"The":[61],"proves":[63],"that":[64,71,98],"if":[65],"there":[66],"only":[68],"one":[69],"distinguishes":[72],"faulty":[75],"fault-free":[78],"behavior":[79],"DUV,":[82],"then":[84],"it":[85],"cannot":[86],"be":[87],"remaining":[93],"properties.":[94],"It":[95],"shown":[97],"reverse":[100],"implication":[101],"such":[103],"depends":[106],"on":[107,130],"selected":[109],"fault":[111,132],"model.":[112],"According":[113],"these":[115],"theoretical":[116],"results,":[117],"method":[122],"analyze":[124],"based":[129],"simulation":[133],"proving.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}