13 citations · 20 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
Karl Palmskog, Andreas Lindner, Scott Constable +2
Many types of formal verification establish properties about abstract high-level program representations, leaving a large gap to programs at runtime. Although gaps can sometimes be…
cs.LO2018
Realisability of Pomsets via Communicating Automata
Roberto Guanciale Dr, Emilio Tuosto Dr
Pomsets are a model of concurrent computations introduced by Pratt. They can provide a syntax-oblivious description of semantics of coordination models based on asynchronous messag…