Personal tools
You are here: Home Tracks Logic and programming

Logic and programming

Topics

 

        + Automatic reasoning;
        + Formal system verification;
        + Formal verification and synthesis;
        + Software quality assessment;
        + Static analysis;
        + Timing analysis.

Document Actions