Tech companies: Look at how revolutionary we are! No one has ever conceived of using formal methods and create industrial level tools for verification! Safety-critical industry which has been doing this for at least 3 decades:pic.twitter.com/cYFuYWDmNw
Profil korisnika/ce HeidyKhlaaf
Tweets
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
Formal Verification (PhD in CS) + Climbing enthusiast
| Research Consultant verifying safety-critical systems 
(
).
London, UK
Vrijeme pridruživanja: prosinac 2011.
