A Hybrid Model for Reasoning about Composed Hardware Systems
Abstract elided by the publisher.
Related papers
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- Asphalion: trustworthy shielding against Byzantine faults OOPSLA 2019
- A linear logical framework in hybrid (invited talk) CPP 2019
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Mixing visual and textual code JFP 2026
- CRIS: The Power of Imagination in Hybrid Verification PLDI 2026
- Views: compositional reasoning for concurrent programs POPL 2013
- POSTER: HythTM: Extending the Applicability of Intel TSX Hardware Transactional Support PPoPP 2017