Home > Research > Browse

Research

Results for Theorem proving

Publications & Outputs

  1. Local is Best: Efficient Reductions to Modal Logic K

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. A pre-injection analysis for identifying fault-injection tests for protocol validation

    Suri, N. & Sinha, P., 2010, In: Journal of Software. 5, 10, p. 1144-1161 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. The customizable fault/error model for dependable distributed systems

    Walter, C. J. & Suri, N., 2/01/2003, In: Theoretical Computer Science. 290, 2, p. 1223-1251 29 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. A non-cooperative axiomatization of the core

    Okada, A. & Winter, E., 08/2002, In: Theory and Decision. 53, 1, p. 1-28 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review