Ergebnisse für: Formel Verification

Hier findest Du Bücher, die sich mit Formel Verification beschäftigen.

Verification of Programmable Logic Controller Code using Model Checking and Static Analysis

Sebastian Biallas
Shaker
48.8 € · Paperback

Formel Verification Model Checking Programmable Logic Controller

This dissertation studies the formal methods model checking and static analysis to prove the correctness of Programmable Logic Controller (PLC) programs. For this, we developed the tool Arcade.PLC, which allow the automatic application of these methods to PLC programs written for different vendors. ...

Array
(
    [endpoint] => /products?search=Formel+Verification&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.000985
    [connect_time] => 0.51747
    [responseLength] => 3293
)