Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Tools and Algorithms for the Construction and Analysis of Systems [Repost]

Posted By: Free butterfly
Tools and Algorithms for the Construction and Analysis of Systems [Repost]

Tools and Algorithms for the Construction and Analysis of Systems by Orna Grumberg
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.