Telecharger Cours

Verification of Sequential Imperative Programs in Isabelle/HOL

the component for abrupt termination is selected, and in all other cases the one for normal termination is chosen. Fault and Stuck states skip the execution ...



Download