Lisitsa07nov25

Докладчик: Alexei Lisitsa (School of Computer Science and Informatics, University of Liverpool) Аннотация: In this talk, I will present an overview of the Finite Countermodel Method (FCM), a powerful approach to the verification of infinite-state and parameterized systems. I will demonstrate multiple applications of the method and will discuss its relative completeness with respect to methods based on regular invariants.