Dynamic slicing of Reaction Systems based on assertions and monitors
summary
First dynamic slicer for Reaction Systems that prunes past computation steps to expose exactly which reactions and entities cause a chosen subset, implemented as a prototype that uses SOS semantics and runs as BioResolve in Prolog. It performs dynamic backward slicer operations triggered automatically by monitors with assertions that halt when a safety property fails. Examples: 33-reaction slice in ~9 ms, a 6,000-reaction model in ~6,000 ms, showing the approach is functional though not yet optimized.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 5:23Semantics
- 6:46Reaction System as Processes
- 11:44Verification Tool
- 13:11Algorithm
- 13:37Monitors
- 15:36Ascension language
- 18:48Structure
- 20:24Slicing
- 21:56Conclusion
- 22:42Questions
related talks
27mLet's Bring System Dynamics Back to CS!
27mOperationalizing the Integration of User Interaction Specifications in Modeling Editor Synthesis
21mProgram Synthesis From Partial Traces
19mAn antidote to complexity
01h 09mSCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and(…)
26mTowards Efficient Model Comparison Using Automated Program Rewriting
15mAutomatic Synthesis of Data-Flow Analyzers
18mResizing Your Expectations: Mastering Timing Closure with OpenROAD's Evolving Optimizer