1 × France
1 × Singapore
V.B.F.Gomes G.Struth Thomas Bauereiss Brian Campbell 0001 A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur I.Stark Neel Krishnaswami P.Sewell
verif (2) tool (2) lightweight (1) construct (1) principl (1) guarante (1) program (1) isabell (1) concurr (1) algebra (1)
Person: Alasdair Armstrong
Wrote 3 papers:
- FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
- SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification
- Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.