Request for information on the invited talk of “Challenges for Formal Methods in Distributed Computing” by Jennifer Welch
I am interested in the invited talk titled "Challenges for Formal Methods in Distributed Computing" by Jennifer Welch given at CAV'2013. However, I found nothing but the title itself through the ...
New to the world of software verification and synthesis. It was suggested to me that the book "Principles of Model Checking" is a good reference for verification, but I am clueless about synthesis. ...
I am trying to teach myself different approaches to software verification. I have read some articles. As far as I learned, propositional logic with temporal generally uses model checking with SAT ...
I am teaching myself program verification and am currently learning proof assistants. I have the book Handbook of Practical Logic and Automated Reasoning which gives the proofs necessary for the ...