Ergebnisse für: Certified model checking

Hier findest Du Bücher, die sich mit Certified model checking beschäftigen.

Springer International Publishing
53.49 € · eBook

Action-based probabilistic logic Formal methods On-the-fly model checking Program verification Symbolic representation Algorithmic game semantics Certified model checking Concurrent systems Fair testing equivalence Heuristics Model checking algorithms Partial-order methods Predicate abstraction Program families Refinement

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and s...

Model Checking Software

Springer International Publishing
53.5 € · Paperback

Array
(
    [endpoint] => /products?search=Certified+model+checking&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001706
    [connect_time] => 0.520285
    [responseLength] => 4572
)