University of Cambridge > Talks.cam > NLIP Seminar Series >  Languages* in Formal Reasoning: Accessibility vs. Formality

Languages* in Formal Reasoning: Accessibility vs. Formality

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Andrew Caines.

(* Symbolic, natural, diagrammatic, mathematical, etc.)

Modelling modern high-technology systems is complex and involves multiple stakeholders. As these systems increasingly underpin our everyday lives, and are often safety or security critical, reasoning about correctness is paramount. Thus, modelling and formal reasoning is required in order to convey knowledge unambiguously and correctly. Whilst mathematical modelling adds great rigour, it is opaque to many of the stakeholders. In this talk I discuss alternative languages that in combination can offer both formality and accessibility.

This talk is part of the NLIP Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity