{"id":"https://openalex.org/W2223055337","doi":null,"title":"Le projet BWare : une plate-forme pour la v\u00e9rification automatique d'obligations de preuve B","display_name":"Le projet BWare : une plate-forme pour la v\u00e9rification automatique d'obligations de preuve B","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2223055337","mag":"2223055337"},"language":"fr","primary_location":{"id":"pmh:oai:HAL:hal-00998094v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00998094","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, Jun 2014, Paris, France","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-00998094","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061312945","display_name":"David Delahaye","orcid":"https://orcid.org/0000-0003-4779-1359","observed_orcids":["https://orcid.org/0000-0003-4779-1359"]},"institutions":[{"id":"https://openalex.org/I4210145724","display_name":"Centre d'\u00e9tudes et de recherche en informatique et communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562","https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Delahaye, David","raw_affiliation_strings":["Centre d'\u00e9tudes et de recherche en informatique et communications"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre d'\u00e9tudes et de recherche en informatique et communications","institution_ids":["https://openalex.org/I4210145724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027356527","display_name":"Claude March\u00e9","orcid":"https://orcid.org/0000-0003-3035-1269","observed_orcids":["https://orcid.org/0000-0003-3035-1269"]},"institutions":[{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"March\u00e9, Claude","raw_affiliation_strings":["Formally Verified Programs,   Certified Tools and Numerical Computations","Laboratoire de Recherche en Informatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formally Verified Programs,   Certified Tools and Numerical Computations","institution_ids":[]},{"raw_affiliation_string":"Laboratoire de Recherche en Informatique","institution_ids":["https://openalex.org/I4210144804"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038706453","display_name":"David Mentr\u00e9","orcid":"https://orcid.org/0000-0003-4315-0335","observed_orcids":["https://orcid.org/0000-0003-4315-0335"]},"institutions":[{"id":"https://openalex.org/I4210089619","display_name":"Mitsubishi Electric (France)","ror":"https://ror.org/0075b7k59","country_code":"FR","type":"company","lineage":["https://openalex.org/I1306287861","https://openalex.org/I4210089619","https://openalex.org/I4210133125"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mentr\u00e9, David","raw_affiliation_strings":["Mitsubishi Electric R&D Centre Europe, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mitsubishi Electric R&D Centre Europe, France","institution_ids":["https://openalex.org/I4210089619"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.5619999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.5619999766349792,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.41819998621940613,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.002899999963119626,"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/automated-verification","display_name":"automated verification","score":0.6159999966621399},{"id":"https://openalex.org/keywords/b-specification-language","display_name":"B specification language","score":0.6669999957084656},{"id":"https://openalex.org/keywords/proof-obligations","display_name":"proof obligations","score":0.7329999804496765},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6800000071525574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3828181028366089},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.36132118105888367},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.3358471691608429}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-00998094v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00998094","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, Jun 2014, Paris, France","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00998094v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00998094","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, Jun 2014, Paris, France","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5378999710083008,"display_name":"Industry, innovation and infrastructure"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2621793002","https://openalex.org/W7000540440","https://openalex.org/W7111660896","https://openalex.org/W592824589","https://openalex.org/W773942407","https://openalex.org/W1524394781","https://openalex.org/W44361701","https://openalex.org/W3195538710","https://openalex.org/W2499017996","https://openalex.org/W4392627390"],"abstract_inverted_index":{"Le":[0,43],"projet":[1,40,46],"de":[2,22,25],"recherche":[3],"industrielle":[4],"BWare":[5,47],"(ANR-12-INSE-0010)":[6],"est":[7],"financ\u00e9":[8],"pour":[9],"4":[10],"ans":[11],"par":[12],"le":[13,36],"programme":[14],"\"":[15,20],"Ing\u00e9nierie":[16],"Num\u00e9rique":[17],"&":[18],"S\u00e9curit\u00e9":[19],"(INS)":[21],"l'Agence":[23],"Nationale":[24],"la":[26],"Recherche":[27],"(ANR)":[28],"et":[29,54,68],"a":[30],"d\u00e9but\u00e9":[31],"en":[32],"septembre":[33],"2012":[34],"(voir":[35],"site":[37],"web":[38],"du":[39,45],":":[41],"http://bware.lri.fr).":[42],"consortium":[44],"associe":[48],"les":[49,58],"partenaires":[50,59],"acad\u00e9miques":[51],"Cedric,":[52],"LRI,":[53],"Inria,":[55],"ainsi":[56],"que":[57],"industriels":[60],"Mitsubishi":[61],"Electric":[62],"R&D":[63],"Centre":[64],"Europe":[65],"(MERCE),":[66],"ClearSy,":[67],"OCamlPro.":[69]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}