Foundational and Compositional Verification of Layered Concurrent Objects (Artifact)

Documenti analoghi

• Compositional Verification in Concurrent Separation Logic with Permissions Regions
  di: Le, Quang Loc
  Pubblicazione: (2025)
• Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
  di: Nemati, Hamed, et al.
  Pubblicazione: (2025)
• End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
  di: Wu, Jinhua, et al.
  Pubblicazione: (2025)
• Robust Verification of Concurrent Stochastic Games
  di: He, Angel Y., et al.
  Pubblicazione: (2026)
• Verification of Correlated Equilibria in Concurrent Reachability Games
  di: Rajasekaran, Senthil, et al.
  Pubblicazione: (2026)