2 papers
cs.LO2026
Asynchronous Composition of LTL Properties over Infinite and Finite Traces
Alberto Bombardelli, Stefano Tonetta
The verification of asynchronous software components poses significant challenges due to the way components interleave and exchange input/output data concurrently. Compositional st…
cs.LO2024
Unifying Asynchronous Logics for Hyperproperties
Alberto Bombardelli, Laura Bozzelli, César Sánchez +1
We introduce and investigate a powerful hyper logical framework in the linear-time setting, we call generalized HyperLTL with stuttering and contexts (GHyperLTL_SC for short). GHyp…