Tools and Algorithms for the Construction and Analysis of Systems by Orna Grumberg
English | Apr. 12, 2007 | ISBN: 3540712089 | 755 Pages | PDF | 6 MB
English | Apr. 12, 2007 | ISBN: 3540712089 | 755 Pages | PDF | 6 MB
Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.