337 followers
2021: I designed and implemented an algorithm “to decide all behavioral program equivalences at once” and presented it at #tacas'21. Again, mostly #scalajs code. https://t.co/ic5NSjhuel https://t.co/g0QrwHtQpC
2021: I designed and implemented an algorithm “to decide all behavioral program equivalences at once” and presented it at #tacas'21. Again, mostly #scalajs code. https://t.co/ic5NSjhuel https://t.co/g0QrwHtQpC
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays https://t.co/C2ULhIHO3n
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays https://t.co/C2ULhIHO3n
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays https://t.co/C2ULhIHO3n