Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
fv19:top [2019/08/13 17:43]
vkuncak [Formal Verification EPFL Course (CS-550), Fall 2019]
fv19:top [2019/08/13 17:44] (current)
vkuncak
Line 8: Line 8:
  
 One of the verification tools used: [[http://​stainless.epfl.ch/​|Stainless]] One of the verification tools used: [[http://​stainless.epfl.ch/​|Stainless]]
- 
-[[http://​concrete-semantics.org|Concrete semantics]] 
  
 ===== Introduction ===== ===== Introduction =====
Line 63: Line 61:
   * Michael Huth and Mark Rayan: Logic in Computer Science - Modelling and Reasoning about Systems. Cambridge University Press 2004.   * Michael Huth and Mark Rayan: Logic in Computer Science - Modelling and Reasoning about Systems. Cambridge University Press 2004.
   * Handbook of Model Checking, https://​www.springer.com/​de/​book/​9783319105741 Springer 2018. Including Chapter Model Checking Security Protocols by David Basin.   * Handbook of Model Checking, https://​www.springer.com/​de/​book/​9783319105741 Springer 2018. Including Chapter Model Checking Security Protocols by David Basin.
-  * Tobias Nipkow, Gerwin Klein: Concrete ​Semantics ​with Isabelle/​HOL. http://​concrete-semantics.org/​concrete-semantics.pdf ​+  * Tobias Nipkow, Gerwin Klein: ​ ​[[http://​concrete-semantics.org|Concrete ​semantics]] ​with Isabelle/​HOL. http://​concrete-semantics.org/​concrete-semantics.pdf
   * Aaron Bradley and Zohar Manna: The Calculus of Computation - Decision Procedures with Applications to Verification,​ Springer 2007.   * Aaron Bradley and Zohar Manna: The Calculus of Computation - Decision Procedures with Applications to Verification,​ Springer 2007.
   * Nielson, Flemming, Nielson, Hanne R., Hankin, Chris: Principles of Program Analysis. ISBN 978-3-662-03811-6. Springer 1999.   * Nielson, Flemming, Nielson, Hanne R., Hankin, Chris: Principles of Program Analysis. ISBN 978-3-662-03811-6. Springer 1999.
 
fv19/top.txt · Last modified: 2019/08/13 17:44 by vkuncak
 
© EPFL 2018 - Legal notice