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

Details
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.

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