2 papers
cs.LO2026
Counterexample-Guided Interval Weakening
Ben M. Andrew, Louise A. Dennis, Michael Fisher +1
Systems deployed for long periods of time in dynamic environments may experience performance degradation that affects timing guarantees, even when their functional behaviour remain…
cs.LO2025
Weakening Goals in Logical Specifications
Ben M. Andrew
Logical specifications are widely used to represent software systems and their desired properties. Under system degradation or environmental changes, commonly seen in complex real-…