Ergebnisse für: verification condition

Hier findest Du Bücher, die sich mit verification condition beschäftigen.

Springer Berlin
53.49 € · eBook

abstraction automatic testing bisimulation bug finding completeness formal methods formal modeling nondeterminism probabilistic models program analysis simulation static analysis testing verification condition

...

Model Checking Software

Springer Berlin
53.49 € · Paperback

...

Array
(
    [endpoint] => /products?search=verification+condition&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.001331
    [connect_time] => 0.517872
    [responseLength] => 4028
)