Keyword:abstraction

Publications
Generating Custom Set Theories with Non-Set Structured Objects Ciarán Dunne, Joe Wells and Fairouz Kamareddine EasyChair Preprint 5663
Concurrency and Models of Abstraction: Past, Present and Future Jeremy Martin In:Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Analysis of Real-Time Control Systems using First-Order Continuization Maximilian Gaukler In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis Hadi Zaatiti, Lina Ye, Philippe Dague and Jean-Pierre Gallois In:28th International Workshop on Principles of Diagnosis (DX'17)
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers Steffen Hölldobler, Norbert Manthey, Tobias Philipp and Peter Steinke In:POS-14. Fifth Pragmatics of SAT workshop