Kodkod: A Relational Model Finder
No abstract available.
Related papers
- AlleAlle: bounded relational model finding with unbounded data Onward! 2019
- G-Finder: routing programming questions closer to the experts OOPSLA 2010
- Applying cognitive principles to model-finding output: the positive value of negative information OOPSLA 2022
- D-Finder: A Tool for Compositional Deadlock Detection and Verification CAV 2009
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016
- Staccato: A Bug Finder for Dynamic Configuration Updates ECOOP 2016
- The Choice Construct in the Soufflé Language APLAS 2021
- Ilea: inter-language analysis across java and c OOPSLA 2007