Black-box transactional safety checker based on cycle detection
Primary LanguageIsabelleEclipse Public License 2.0EPL-2.0