Discover and read the best of Twitter Threads about #ModelChecking
Most recents (1)
#CSPhD #PhDposition in @ERC_Research and @Vetenskapsradet supported team to work on project “Enabling Reactive Synthesis through Runtime Verification” at @cse_gbg in @goteborgsuni/@chalmersuniv (Sweden). Official ad tiny.cc/gbgphd. Here is what you should really expect…
#Reactivesynthesis is like telling a robot what you would like it to do and automatically planning how to do it. #Runtimeverification follows programs through their execution to ensure they are correct. We will work on these. Theory and practice!
I am - and you will be - a member of the #FormalMethods unit, a smaller unit of about 20 people (PhDs, postdocs, faculty) working on topics like compiler verification, automated theorem proving, and #ModelChecking.
