Keyword:safety-critical systems

Papers
Fault-Tolerant Systems Based on Distributed IMA Technology Mohamed Elmahdi EasyChair Preprint no. 10164
Automatic generation of high quality test sets via CBMC Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma and Alessandra Puddu In:VERIFY-2010. 6th International Verification Workshop