Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Julien Bertrane"'
Autor:
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope wi
Autor:
Julien Bertrane
Publikováno v:
ICECCS
The specifications of the control units driving embedded systems often involve temporal properties. We aim at certifying them statically using the Abstract Interpretation framework and introduce several Abstract Domains dedicated to proving such temp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba32227f10e920030d8e7760a687e5ad
https://doi.org/10.1109/iceccs.2011.8
https://doi.org/10.1109/iceccs.2011.8
Autor:
Laurent Mauborgne, Radhia Cousot, Xavier Rival, Patrick Cousot, Jérôme Feret, Julien Bertrane, Antoine Miné
Publikováno v:
the 3rd IEEE International workshop UML and Formal Methods
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
International audience; Formal methods are increasingly used to help ensuring the correctness of complex, critical embedded software systems. We show how sound semantic static analyses based on Abstract Interpretation may be used to check properties
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6a4eae3308543d51a1992e9bb16b414
https://hal.inria.fr/inria-00528632
https://hal.inria.fr/inria-00528632
Autor:
Antoine Miné, Xavier Rival, Laurent Mauborgne, Jérôme Feret, Radhia Cousot, Patrick Cousot, Julien Bertrane
Publikováno v:
AIAA Infotech@Aerospace 2010.
We discuss the principles of static analysis by abstract interpretation and report on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first indu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99eb3d4d957d0ba508d7f8f691852a11
https://doi.org/10.2514/6.2010-3385
https://doi.org/10.2514/6.2010-3385
Autor:
Julien Bertrane
Publikováno v:
Static Analysis ISBN: 9783540377566
SAS
SAS
Our work aims at certifying that all the executions of several collaborating synchronous systems in a realistic environment follow a given specification. In order to analyze the numerous executions that may happen while considering a set of synchrono
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c699de523864e9af93d1eb1a734f37b0
https://doi.org/10.1007/11823230_24
https://doi.org/10.1007/11823230_24
Autor:
Julien Bertrane
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540242970
VMCAI
VMCAI
We present a framework to graphically describe and analyze embedded systems which are built on asynchronously wired synchronous subsystems. Our syntax is close to electronic diagrams. In particular, it uses logic and arithmetic gates, connected by wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::324c8b0933738cedc63eaf0721a61364
https://doi.org/10.1007/978-3-540-30579-8_7
https://doi.org/10.1007/978-3-540-30579-8_7
Autor:
Julien Bertrane, Julien, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier
Publikováno v:
ACM SIGSOFT Software Engineering Notes; January 2011, Vol. 36 Issue: 1 p1-8, 8p