المؤلفون: Gauthier, Louis, Prevosto, Virgile, Signoles, Julien

المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024

Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Bobot, François^Aff24, Maroneze, André^Aff24, Prevosto, Virgile^Aff24, Signoles, Julien^Aff24

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :341-401

المؤلفون: Blatter, Lionel^Aff24, Kosmatov, Nikolai^Aff25, Prevosto, Virgile^Aff26, Robles, Virgile^Aff27

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :457-486

المؤلفون: Maroneze, André^Aff24, Prevosto, Virgile^Aff24, Signoles, Julien^Aff24

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :81-130

المؤلفون: Blanchard, Allan^Aff24, Marché, Claude^Aff25, Prevosto, Virgile^Aff24

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :3-80

المؤلفون: Robles, Virgile, Kosmatov, Nikolai, Prevosto, Virgile, Rilling, Louis, Gall, Pascale Le

المصدر: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :54-67 May, 2021

Relation: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Blatter, Lionel, Kosmatov, Nikolai, Prevosto, Virgile, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2202.10349

المؤلفون: Marcozzi, Michael, Bardin, Sebastien, Kosmatov, Nikolai, Papadakis, Mike, Prevosto, Virgile, Correnson, Loic

المصدر: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2018 IEEE/ACM 40th International Conference on. :456-467 May, 2018

Relation: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)

المؤلفون: Monahan, Rosemary, Prevosto, Virgile, Proença, Jose

المصدر: EPTCS 310, 2019

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1912.09611

المؤلفون: Marcozzi, Michael, Delahaye, Mickael, Bardin, Sebastien, Kosmatov, Nikolai, Prevosto, Virgile

المصدر: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. :436-441 Mar, 2017

Relation: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)