Baier Katoen 2008 Principles of Model Checking.pdf
Thebookbeginswiththebasicprinciplesformodelingconcurrentandcommunicatingsystems,introducesdifferentclassesofproperties(includingsafetyandliveness),presentsthenotionoffairness,andprovidesautomata-basedalgorithmsfortheseproperties.ItintroducesthetemporallogicsLTL
下载地址
用户评论
