![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > NLIP Seminar Series > Languages* in Formal Reasoning: Accessibility vs. Formality
Languages* in Formal Reasoning: Accessibility vs. FormalityAdd 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. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCambridge University Student Pugwash Society Talks COCA TalksOther talksTime dependence of correlation functions in homogeneous and isotropic turbulence Bioinformatics Sum-of-squares proofs Thunderclap: Exploring Vulnerabilities Operating System IOMMU Protection via DMA from Untrustworthy Peripherals The clinical and biological basis of prostate cancer - from diagnosis to personalised therapy Stress in the Workplace |