Csoportunk részt vesz a verifikáció és szoftver analízis egyik legrangosabb nemzetközi konferenciáján

Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) tudományos konferencián. A hallgatónkkal közösen írt "Saturation-based Incremental LTL Model Checking with Inductive Proofs" című cikkünket elfogadták a modellellenőrzés és verifikáció egyik legrangosabb nemzetközi fórumán.

A publikáció alapját hallgatóink korábbi TDK dolgozata jelentette: Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére