25 Years of Model Checking.History Achievements Perspectives.2008

Series:LectureNotesinComputerScienceSubseries:TheoreticalComputerScienceandGeneralIssues,Vol.5000Grumberg,Orna;Veith,Helmut(Eds.)2008,VII,231p.,SoftcoverISBN:978-3-540-69849-4AboutthisbookModelcheckingtechnologyisamongtheforemostapplicationsoflogictocomputerscienceandcomputerengineerin