SAT/SMT/AR - Bevezetés és alkalmazások

Ismét IncQuery Labs Akadémia!

Előadás címe: SAT/SMT/AR - Bevezetés és alkalmazások

Előadó: Hajdu Ákos, doktorandusz, BME MIT tanszék, Hibatűrő Rendszerek Kutatócsoport

Az előadást youtube-on tudjátok követni:

https://www.youtube.com/watch?v=Ypb0hfp73aI

Az előadással kapcsolatos kérdéseket, megjegyzéseket az IncQuery Labs twitter (https://twitter.com/IncQueryLabs) vagy Facebook (https://www.facebook.com/incquerylabs) oldalán várjuk.

Absztrakt

A különféle matematikai logikai megoldók és
következtetők (SAT, SMT, AR) hatalmas fejlődést tudnak maguk mögött az utóbbi évtizedekben, miközben a felhasználási területük is egyre szélesebb körű. Számos szakterület algoritmusai építenek rájuk, többek között szoftver analízis, hardver verifikáció, tesztelés és számítógépes biztonság területén is. Az előadás a 2011 óta minden évben megrendezésre kerülő SAT/SMT/AR nyári iskola alapján bevezetést nyújt a matematikai logikai formulákkal történő modellezésbe, a megoldók algoritmusaiba és az alkalmazási területekbe.

Előadó bemutatkozása

Hajdu Ákos elsőéves doktorandusz hallgató a BME MIT tanszékén. BSc tanulmányai óta formális módszerekkel foglalkozik. Kutatásai során különféle hardver és szoftver rendszerek viselkedését vizsgálja absztrakció-alapú modellellenőrzés segítségével.