IARI
Stats
183
reputation
9k
reached
0
answers
5
questions
About

I am a student of computer science at the University of Freiburg.

Currently I am working on my Bachelor thesis about Petri Nets in the context of trace abstraction for automated program verification.

This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %