{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T03:39:59Z","timestamp":1648697999476},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,5,26]],"date-time":"2011-05-26T00:00:00Z","timestamp":1306368000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10703-011-0121-5","type":"journal-article","created":{"date-parts":[[2011,5,25]],"date-time":"2011-05-25T07:22:54Z","timestamp":1306308174000},"page":"165-184","source":"Crossref","is-referenced-by-count":2,"title":["Feasibility analysis for robustness quantification by symbolic model checking"],"prefix":"10.1007","volume":"39","author":[{"given":"Souheib","family":"Baarir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9cile","family":"Braunstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuelle","family":"Encrenaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Ili\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Mounier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Poitrenaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sana","family":"Younes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,5,26]]},"reference":[{"key":"121_CR1","first-page":"28","volume-title":"Proc of 4th IEEE international on-line testing workshop","author":"J Abke","year":"1998","unstructured":"Abke J, Bohl E, Henno C (1998) Emulation based real time testing of automotive applications. In: Proc of 4th IEEE international on-line testing workshop, pp 28\u201331"},{"key":"121_CR2","first-page":"331","volume-title":"Proc international symposium on defect and fault tolerance in VLSI systems","author":"S Baarir","year":"2009","unstructured":"Baarir S, Braunstein C, Clavel R, Encrenaz E, Ili\u00e9 J-M, Leveugle R, Mounier I, Pierre L, Poitrenaud D (2009) Complementary formal approaches for dependability analysis. In: Proc international symposium on defect and fault tolerance in VLSI systems. IEEE Comput Soc, Los Alamitos, pp 331\u2013339"},{"key":"121_CR3","volume-title":"Handbook of information security","author":"H Bidgoli","year":"2006","unstructured":"Bidgoli H (2006) Handbook of information security, vol 3. Wiley, New York"},{"key":"121_CR4","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Proc international conference on tools and algorithms for construction and analysis of systems","author":"A Biere","year":"1999","unstructured":"Biere A, Cimatti A, Clarke EM, Zhu Y (1999) Symbolic model checking without BDDs. In: Proc international conference on tools and algorithms for construction and analysis of systems. Lecture notes in computer science, vol 1579. Springer, Berlin, pp 193\u2013207"},{"key":"121_CR5","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1613\/jair.601","volume":"10","author":"E Birnbaum","year":"1999","unstructured":"Birnbaum E, Lozinskii EL (1999) The good old Davis-Putnam procedure helps counting models. J Artif Intell Res 10:457\u2013477","journal-title":"J Artif Intell Res"},{"key":"121_CR6","first-page":"3","volume-title":"Summaries of talks presented at the summer institute for symbolic logic","author":"A Church","year":"1957","unstructured":"Church A (1957) Application of recursive arithmetic to the problem of circuit synthesis. In: Summaries of talks presented at the summer institute for symbolic logic. Princeton. Communications Research Division, Institute for Defense Analyses, Princeton, pp 3\u201350"},{"issue":"2","key":"121_CR7","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244\u2013263","journal-title":"ACM Trans Program Lang Syst"},{"issue":"3","key":"121_CR8","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/54.867894","volume":"17","author":"F Corno","year":"2000","unstructured":"Corno F, Sonza Reorda M, Squillero G (2000) RT-level ITC 99 benchmarks and first ATPG results. IEEE Des Test Comput 17(3):44\u201353","journal-title":"IEEE Des Test Comput"},{"key":"121_CR9","volume-title":"IEEE RPS-CDR 47th annu int reliability physics symp","author":"J-M Daveau","year":"2009","unstructured":"Daveau J-M, Blampey A, Gasiot G, Bulone J, Roche P (2009) An industrial fault injection platform for soft-error dependability analysis and hardening of complex system-on-a-chip. In: IEEE RPS-CDR 47th annu int reliability physics symp, Montreal, Canada. IEEE Press, New York"},{"issue":"3","key":"121_CR10","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"Davis RI, Burns A, Bril R, Lukkien J (2007) Controller area network (can) schedulability analysis: Refuted, revisited and revised. Real-Time Syst 35(3):239\u2013272","journal-title":"Real-Time Syst"},{"key":"121_CR11","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"EW Dijkstra","year":"1974","unstructured":"Dijkstra EW (1974) Self-stabilization systems in spite of distributed control. Commun ACM 17:643\u2013644","journal-title":"Commun ACM"},{"key":"121_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-stabilization","author":"S Dolev","year":"2000","unstructured":"Dolev S (2000) Self-stabilization. MIT Press, Cambridge"},{"key":"121_CR13","first-page":"784","volume-title":"Proc IEEE international symposium on quality electronic design","author":"G Fey","year":"2008","unstructured":"Fey G, Drechsler R (2008) A basis for formal robustness checking. In: Proc IEEE international symposium on quality electronic design. IEEE Comput Soc, Los Alamitos, pp 784\u2013789"},{"key":"121_CR14","first-page":"190","volume-title":"Proc design automation conference","author":"G Fey","year":"2009","unstructured":"Fey G, S\u00fclflow A, Drechsler R (2009) Computing bounds for fault tolerance using formal techniques. In: Proc design automation conference. ACM, New York, pp 190\u2013195"},{"key":"121_CR15","doi-asserted-by":"crossref","unstructured":"Garcia-Valderas M, Portela-Garcia M, Lopez-Ongil C, Entrena L (2010) Extensive SEU impact analysis of a pic microprocessor for selective hardening. IEEE Trans Nucl Sci 57(4)","DOI":"10.1109\/TNS.2009.2039581"},{"key":"121_CR16","volume-title":"Introduction to automata theory, languages, and computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft JE, Motwani R, Ullman JD (2006) Introduction to automata theory, languages, and computation (3rd edn.). Addison-Wesley\/Longman, Boston"},{"key":"121_CR17","volume-title":"Road vehicles\u2014controller area networks\u2014parts 1 to 5","author":"ISO technical committees TC22\/SC3","year":"2003","unstructured":"ISO technical committees TC22\/SC3 (2003) Road vehicles\u2014controller area networks\u2014parts 1 to 5. International Organization for Standardization, Geneva"},{"key":"121_CR18","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/FTCS.1994.315656","volume-title":"Proc of 24th symposium on fault-tolerant computing (FTCS)","author":"E Jenn","year":"1994","unstructured":"Jenn E, Arlat J, Rimen R, Ohlsson J, Karlsson J (1994) Fault injection into VHDL models: the MEPHISTO tool. In: Proc of 24th symposium on fault-tolerant computing (FTCS), pp 66\u201375"},{"key":"121_CR19","doi-asserted-by":"crossref","unstructured":"Krautz U, Pflanz M, Jacobi C, Tast H, Weber K, Vierhaus H (2006) Evaluating coverage of error detection logic for soft errors using formal methods. In: Proc conference on design, automation and test in Europe. European Design and Automation Association, pp 176\u2013181","DOI":"10.1109\/DATE.2006.244062"},{"key":"121_CR20","doi-asserted-by":"crossref","unstructured":"Krishnaswamy S, Viamontes GF, Markov IL, Hayes J (2008) Probabilistic transfert matrices in symbolic reliability analysis of logic circuits for reliability evaluation of logic circuits. Trans Des Autom Electron Syst 13(1)","DOI":"10.1145\/1297666.1297674"},{"key":"121_CR21","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/IOLTS.2005.8","volume-title":"Proc IEEE international on-line testing symposium","author":"R Leveugle","year":"2005","unstructured":"Leveugle R (2005) A new approach for early dependability evaluation based on formal property checking and controlled mutation. In: Proc IEEE international on-line testing symposium. IEEE Comput Soc, Los\u00a0Alamitos, pp 260\u2013265"},{"issue":"5","key":"121_CR22","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1023\/A:1025178014797","volume":"19","author":"R Leveugle","year":"2003","unstructured":"Leveugle R, Hadjiat K (2003) Multi-level fault injections in VHDL descriptions: alternative approaches and experiments. J Electron Test Theory Appl. 19(5):559\u2013575","journal-title":"J Electron Test Theory Appl."},{"key":"121_CR23","first-page":"502","volume-title":"Proc of design, automation and test in Europe conference (DATE)","author":"R Leveugle","year":"2009","unstructured":"Leveugle R, Calvez A, Maistri P, Vanhauwaert P (2009) Statistical fault injection: quantified error and confidence. In: Proc of design, automation and test in Europe conference (DATE), pp 502\u2013506"},{"key":"121_CR24","doi-asserted-by":"crossref","unstructured":"Lopez-Ongil C, Garcia-Valderas M, Portela-Garcia M, Entrena L (2007) Autonomous fast emulation: a\u00a0new FPGA-based acceleration system for hardness evaluation. IEEE Trans Nucl Sci 54(1)","DOI":"10.1109\/TNS.2006.889115"},{"key":"121_CR25","unstructured":"Naviner L, Naviner JF, Franco D, Vasconcelos M (2008) Signal probability for reliability evaluation of logic circuits. Microelectron Reliab J 48"},{"key":"121_CR26","doi-asserted-by":"crossref","unstructured":"Naviner L, Naviner JF, Goncalves dos\u00a0Santos G Jr, Crespo Marques E (2010) Using error tolerance of\u00a0target application for efficient reliability improvement of digital circuits. Microelectron Reliab J 50(9\u201311)","DOI":"10.1016\/j.microrel.2010.07.147"},{"key":"121_CR27","doi-asserted-by":"crossref","unstructured":"Polian I, Hayes JP, Sudhakar MR, Becker B (2010) Modeling and mitigating transient errors in logic circuits. IEEE Trans Dependable and Secure Comput 99(PrePrints)","DOI":"10.1109\/TDSC.2010.26"},{"key":"121_CR28","first-page":"1442","volume-title":"Proc conference on design, automation and test in Europe","author":"S Seshia","year":"2007","unstructured":"Seshia S, Li W, Mitra S (2007) Verification-guided soft error resilience. In: Proc conference on design, automation and test in Europe. EDA Consortium, San Jose, pp 1442\u20131447"},{"key":"121_CR29","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/10722167_36","volume-title":"Proc international conference on computer aided verification","author":"O Shtrichman","year":"2000","unstructured":"Shtrichman O (2000) Tuning SAT checkers for bounded model checking. In: Proc international conference on computer aided verification. Lecture notes in computer science, vol 1855. Springer, Berlin, pp\u00a0480\u2013494"},{"key":"121_CR30","series-title":"Lecture notes in computer science","first-page":"428","volume-title":"Proc international conference on computer aided verification","author":"The VIS group","year":"1996","unstructured":"The VIS group (1996) VIS: a system for verification and synthesis. In: Proc international conference on computer aided verification. Lecture notes in computer science, vol 1102. Springer, Berlin, pp 428\u2013432"},{"key":"121_CR31","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/11814948_38","volume-title":"Theory and applications of satisfiability testing (SAT\u201906)","author":"M Thurley","year":"2006","unstructured":"Thurley M (2006) sharpSAT\u2014counting models with advanced component caching and implicit BCP. In: Theory and applications of satisfiability testing (SAT\u201906). Lecture notes in computer science, vol 4121. Seattle, WA, USA, August 2006. Springer, Berlin, pp 424\u2013429"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0121-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-011-0121-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0121-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T00:49:03Z","timestamp":1560214143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-011-0121-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,26]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["121"],"URL":"https:\/\/doi.org\/10.1007\/s10703-011-0121-5","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,26]]}}}