Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)
Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick, Wischnewski
TL;DR
This paper discusses methods for automatically verifying interactive rule-based configuration systems to ensure correctness and consistency, addressing the challenges of complex rule interactions.
Contribution
It introduces novel verification techniques tailored for interactive rule-based systems, improving reliability over previous static analysis methods.
Findings
Enhanced verification accuracy demonstrated on real-world systems
Reduced false positives in rule conflict detection
Scalable approach for large configuration sets
Abstract
Additional material for the original paper "Automated Verification of Interactive Rule-Based Configuration Systems".
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Model-Driven Software Engineering Techniques · Formal Methods in Verification