RT @beyer_dirk: After all the postings about our @ETAPSconf Test-of-Time award, let me point you to the actual @FaseConf *paper* that got t…
102 followers
721 followers
After all the postings about our @ETAPSconf Test-of-Time award, let me point you to the actual @FaseConf *paper* that got the award: https://t.co/BqzpHECMlX It is a beautifully simple and extremely effective technique. Here the slides: https://t.co/5WmLhYF
4,194 followers
Congrats. It is amazing to see the impact of CEGAR. We started it as a project purely based on need (we were sick of refining abstractions manually). Congrats Dirk and Stefan.
721 followers
RT @ETAPSconf: The 2023 ETAPS Test of Time Award went to Dirk Beyer and Stefan Löwe for their FASE 2013 paper Explicit-State Software Mode…