Profile cover photo
Profile photo
Dirk Beyer
112 followers
112 followers
About
Posts

Post has attachment
Add a comment...

Post has attachment
Photo
Add a comment...

Software and Computational Systems Lab (SoSy) at LMU Munich has been selected as a Google Summer of Code 2018 mentor organization. Students consider applying! https://www.sosy-lab.org/gsoc/gsoc2018.php
Add a comment...

Post has attachment

Post has attachment
Juniorprofessor position in software verification at Software and Computational Systems Lab (https://www.sosy-lab.org/), LMU Munich (http://www.en.uni-muenchen.de), Germany. Application deadline is Nov. 9. https://www.sosy-lab.org/junior-professorship.php
Add a comment...

Post has attachment
Add a comment...

Post has attachment
Software model checkers find more bugs than automatic testers, and faster. Preprint of our paper for HVC: "Software Verification: Testing vs. Model Checking" https://www.sosy-lab.org/~dbeyer/Publications/2017-HVC.Software_Verification_Testing_vs_Model_Checking.pdf
Add a comment...

Post has attachment
ACM's brand-new journal PACMPL published its inaugural issue (open access):
http://dl.acm.org/citation.cfm?id=3136534
Add a comment...

Post has attachment

Post has attachment
Add a comment...
Wait while more posts are being loaded