An Analysis for Proving Temporal Properties of Biological Systems
Abstract elided by the publisher.
Related papers
- Proving Stabilization of Biological Systems VMCAI 2011
- Formal Semantics and Verification of Network-Based Biocomputation Circuits VMCAI 2021
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic TOPLAS 1984
- Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation VMCAI 2015
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
- Verifying Temporal Properties without Temporal Logic TOPLAS 1989
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021
- Bringing LTL Model Checking to Biologists VMCAI 2017