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
337 followers
My paper on deciding all behavioral equivalences of transition systems in one go is online! The algorithm performs a “spectroscopy” of distinguishing Hennessy–Milner logic formulas obtained from winning strategies in a #bisimulation game. #tacas #etaps htt