Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Callum Bannister"'
Autor:
Callum Bannister, Alan Guy, Ralitsa Mihaylova, Joseph Orgill, Stephanie L. Burg, Andrew Parnell, Richard L. Thompson
Publikováno v:
RSC Advances, 2022, Vol.12(44), pp.28746-28754 [Peer Reviewed Journal]
The surface properties of epoxy resin coatings influence their function as substrates for subsequent coats. Variation in ambient cure conditions (temperature and relative humidity, RH), stoichiometry (ratio of epoxy: amine) and delay time between epo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b98cc39bed1aaa528f95ccf4b4c91f12
http://dro.dur.ac.uk/38014/
http://dro.dur.ac.uk/38014/
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030887001
RAMiCS
RAMiCS
We study convolution and residual operations within convolution quantales of maps from partial abelian semigroups and effect algebras into value quantales, thus generalising separating conjunction and implication of separation logic to quantitative s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28fd208f2c63b59f9cc584e7b0afa9da
https://doi.org/10.1007/978-3-030-88701-8_3
https://doi.org/10.1007/978-3-030-88701-8_3
Autor:
Callum Bannister, Peter Höfner
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030021481
RAMiCS
RAMiCS
Separation logic, an extension of Floyd-Hoare logic, finds countless applications in areas of program verification, but does not allow forward reasoning in the setting of total or generalised correctness. To support forward reasoning, separation logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6a8560349ffd2ff38090cad1c20a2f9
https://doi.org/10.1007/978-3-030-02149-8_16
https://doi.org/10.1007/978-3-030-02149-8_16
Publikováno v:
Interactive Theorem Proving ISBN: 9783319948201
ITP
ITP
The use of Hoare logic in combination with weakest preconditions and strongest postconditions is a standard tool for program verification, known as backward and forward reasoning. In this paper we extend these techniques to allow backward and forward
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1dff13d259a06767210dd8f159cf5ef8
https://doi.org/10.1007/978-3-319-94821-8_5
https://doi.org/10.1007/978-3-319-94821-8_5
Autor:
Matthew Fernandez, Xin Gao, Gerwin Klein, Callum Bannister, June Andronick, Corey Lewis, Andrew Boyton, David Greenaway, Thomas Sewell
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642412011
ICFEM
ICFEM
The safety and security of software systems depends on how they are initially configured. Manually writing program code that establishes such an initial configuration is a tedious and error-prone engineering process. In this paper we present an autom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea7c9dff994d198583d082046b237d0a
https://doi.org/10.1007/978-3-642-41202-8_6
https://doi.org/10.1007/978-3-642-41202-8_6