{"id":"https://openalex.org/W1532984424","doi":"https://doi.org/10.1007/978-3-540-69149-5_17","title":"Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification","display_name":"Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1532984424","doi":"https://doi.org/10.1007/978-3-540-69149-5_17","mag":"1532984424"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-69149-5_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5109070350","display_name":"Joseph R. Kiniry","orcid":null},"institutions":[{"id":"https://openalex.org/I100930933","display_name":"University College Dublin","ror":"https://ror.org/05m7pjf47","country_code":"IE","type":"education","lineage":["https://openalex.org/I100930933"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Joseph R. Kiniry","raw_affiliation_strings":["Systems Research Group, School of Computer Science and Informatics, UCD Dublin, Belfield, Dublin, 4, Ireland","Systems Research Group, School of Computer Science and Informatics, UCD Dublin, Belfield, Dublin, Ireland 4#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems Research Group, School of Computer Science and Informatics, UCD Dublin, Belfield, Dublin, 4, Ireland","institution_ids":["https://openalex.org/I100930933"]},{"raw_affiliation_string":"Systems Research Group, School of Computer Science and Informatics, UCD Dublin, Belfield, Dublin, Ireland 4#TAB#","institution_ids":["https://openalex.org/I100930933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026825556","display_name":"Patrice Chalin","orcid":"https://orcid.org/0000-0002-9399-3528"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Patrice Chalin","raw_affiliation_strings":["Dependable Software Research Group Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, H3G 1M8, Canada","Dependable Software Research Group Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada H3G 1M8#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dependable Software Research Group Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, H3G 1M8, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Dependable Software Research Group Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada H3G 1M8#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067698504","display_name":"Cl\u00e9ment Hurlin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164347","display_name":"Henri Poincar\u00e9 Institute","ror":null,"country_code":"FR","type":null,"lineage":["https://openalex.org/I4210164347"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cl\u00e9ment Hurlin","raw_affiliation_strings":["Universit\u00e9 Henri Poincar\u00e9, Nancy 1, BP 60120, Nancy Cedex, France","Universit\u00e9 Henri Poincar\u00e9, Nancy 1, Nancy Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Henri Poincar\u00e9, Nancy 1, BP 60120, Nancy Cedex, France","institution_ids":["https://openalex.org/I4210164347","https://openalex.org/I90183372"]},{"raw_affiliation_string":"Universit\u00e9 Henri Poincar\u00e9, Nancy 1, Nancy Cedex, France","institution_ids":["https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109070350"],"corresponding_institution_ids":["https://openalex.org/I100930933"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.3047,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86192915,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"153","last_page":"160"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/soundness","display_name":"Soundness","score":0.9372952580451965},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8959239721298218},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7626792788505554},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6517495512962341},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.6328551769256592},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.573597252368927},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5668452978134155},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5044640302658081},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5024254322052002},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.44874095916748047},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4386259913444519},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.42714375257492065},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07542359828948975}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9372952580451965},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8959239721298218},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7626792788505554},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6517495512962341},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.6328551769256592},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.573597252368927},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5668452978134155},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5044640302658081},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5024254322052002},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.44874095916748047},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4386259913444519},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.42714375257492065},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07542359828948975},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-69149-5_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:iris.unitn.it:11572/333194","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/333194","pdf_url":null,"source":{"id":"https://openalex.org/S4377196320","display_name":"Iris (University of Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1489527380","https://openalex.org/W1530192959","https://openalex.org/W1539082840","https://openalex.org/W1580298010","https://openalex.org/W1580328473","https://openalex.org/W1596512761","https://openalex.org/W1612432860","https://openalex.org/W1644882639","https://openalex.org/W1964830323","https://openalex.org/W1980131623","https://openalex.org/W1993836075","https://openalex.org/W2055477538","https://openalex.org/W2120926795","https://openalex.org/W2121707639","https://openalex.org/W2130853806","https://openalex.org/W2171996597","https://openalex.org/W2486136376","https://openalex.org/W3022265524","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W2035244079","https://openalex.org/W4301348901","https://openalex.org/W2962898432","https://openalex.org/W2392047570","https://openalex.org/W2059150015","https://openalex.org/W2350806125","https://openalex.org/W4205924073","https://openalex.org/W2391022620","https://openalex.org/W2098699043"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}