Results for Formal logic

Publications & Outputs

1. Local Reductions for the Modal Cube

   Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

2. Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications

   Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

3. Modular composition of redundancy management protocols in distributed systems: An outlook on simplifying protocol level formal specification & verification

   Sinha, P. & Suri, N., 16/04/2001, p. 255-263. 9 p.

   Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

4. On the use of formal techniques for analyzing dependable real-time protocols

   Sinha, P. & Suri, N., 1/12/1999, Proceedings 20th IEEE Real-Time Systems Symposium. IEEE, p. 126-135 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review