Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Bannister, Callum"'
Publikováno v:
Formal Methods and Software Engineering. ICFEM 2023. Lecture Notes in Computer Science, vol 14308. Springer, Singapore
This paper introduces Concurrent Valuation Algebras (CVAs), a novel extension of ordered valuation algebras (OVAs). CVAs include two combine operators representing parallel and sequential products, adhering to a weak exchange law. This development of
Externí odkaz:
http://arxiv.org/abs/2305.18017
Publikováno v:
In: Relational and Algebraic Methods in Computer Science. RAMiCS 2023. Lecture Notes in Computer Science, vol 13896. Springer, Cham (2023)
We present a lattice of distributed program specifications, whose ordering represents implementability/refinement. Specifications are modelled by families of subsets of relative execution traces, which encode the local orderings of state transitions,
Externí odkaz:
http://arxiv.org/abs/2210.09476
This paper introduces Concurrent Valuation Algebras (CVAs), extending ordered valuation algebras (OVAs) by incorporating two combine operators representing parallel and sequential products that adhere to a weak exchange law. CVAs present significant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cc4943689df79f06d4b77c37334f82d
http://arxiv.org/abs/2305.18017
http://arxiv.org/abs/2305.18017
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bannister, Callum
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. Separation logic, an extension of Hoare logic, finds countless applica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d634836684995725508049b8cf5eab3
Autor:
Boyton, Andrew, Andronick, June, Bannister, Callum, Fernandez, Matthew, Gao, Xin, Greenaway, David, Klein, Gerwin, Lewis, Corey, Sewell, Thomas
Publikováno v:
Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p70-85, 16p
