Members: Dorel Lucanu, Stefan Ciobaca, Andrei Arusoaie, Alexandru LunguRelated PublicationsSupporting Algorithm Analysis with Symbolic Execution in Alk. 2022A Matching Logic Foundation for Alk 2022Alexandru Lungu, Dorel LucanuProving Reachability Properties by Coinduction 2018Dorel Lucanu