Menü

PyGRAZ ist eine Usergroup mit die Python-Programmiersprache in Graz. Wir treffen uns regelmässig am ersten Dienstag im Monat entweder im ESC, Spektral oder im Gösserbräu.

Nächstes Treffen am 3. Mai 2016 um 19:00 Uhr

Geplante Sessions

An introduction to Formal Verification

von Lukas Prokop

Subtitled "A non-introduction to my master thesis"

From May 2015 to May 2016 I am working on my master thesis. As part of that project I am writing software to verify whether a certain state can occur within a computation. This is also the basic goal of Formal Verification; a research area where source code is verified for correctness.

The subtitle uses the word "non-introduction" because my master thesis itself is about differential cryptanalysis, which I won't cover in the talk. I will only cover practical parts of my master thesis which will give us a basic understanding of primitives in Formal Verification.

Let's be more specific: In this talk I will discuss a few python libraries for SAT solving (I wrote) and finally introduce a package modeling bitvectors which can be used to describe computed values symbolically.

Language: German or English (on demand)

Falls du vorhast, zu kommen, bitte trage dich auf Meetup.com ein! Es ist nicht zwingend erforderlich, macht aber unsere Arbeit leichter, wenn wir abschätzen können, wie viele Leute in etwa kommen.

Location: Realraum

Brockmanngasse 15, 8010 Graz

Session-Ideen

Titel Vortragender
Einführung in SQLAlchemy Ernesto Rico-Schmidt

Deine Session-Idee

Möchtest du etwas präsentieren? Dann trage deinen Vorschlag hier ein. Wenn es dann wieder auf ein neues Meetup zugeht, werden wir dich via E-Mail kontaktieren, um einen Termin auszumachen.

Vergangene Meetups