Elle: Black-box transactional safety checker based on cycle detection (Jespen) | Heykuki News