|Sat 6 - Thu 11 April 2019, Prague, Czech Republic|
PERR 2019 with ETAPS 2019
This workshop is dedicated to the formal verification of program equivalence and related relational problems. It is the 3rd in a series of meetings that bring together researchers from different areas interested in equivalence. The topic touches many aspects of formal methods: regression verification, translation validation, verified compilation, language semantics, deductive verification, (bounded) model checkin ...