Results for Formal verification

Publications & Outputs

1. Practical Formal Verification for Model Based Development of Cyber-Physical Systems

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 1-8 8 p.

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

2. On efficient models for model checking message-passing distributed protocols

   Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

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 validation

   Suri, N. & Sinha, P., 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing . IEEE, p. 1-10 10 p.

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