Tags
Language
Tags
<<
August 2025
Su Mo Tu We Th Fr Sa
27 28 29 30 31 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
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. 25 Years of Model Checking: History, Achievements, Perspectives [repost]

    25 Years of Model Checking: History, Achievements, Perspectives [repost]

    Posted By: tarantoga
    Date: 11 Apr 2011 21:58:04
    25 Years of Model Checking: History, Achievements, Perspectives [repost]

    25 Years of Model Checking: History, Achievements, Perspectives
    Publisher: Springer | ISBN: 3540698493 | 2008 | DJVU | 231 pages | 4 Mb


    Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software.

    Download:

    flesonic

    No mirrors please

    Visit my blog for more interesting
    UPWARDS