Time-Efficient Model Checking with Magnetic Disk
No abstract available.
Related papers
- Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing CGO 2021
- Diderot: a parallel DSL for image analysis and visualization PLDI 2012
- Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems PPoPP 2005
- Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram APLAS 2001
- TL4x: Buffered Durable Transactions on Disk as Fast as in Memory PPoPP 2023
- Efficient Decision Procedures for Model Checking of Linear Time Logic Properties CAV 1999
- Efficient CTMC Model Checking of Linear Real-Time Objectives TACAS 2011
- Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams CAV 2001