Verifying CSP and its offspring

When: 1st Nov 2018, 17:30 - 1st Nov 2018, 21:00
Where: De Morgan House, 57–58 Russell Square, London, WC1B 4HS
Town/City: London
Organiser: Joint FACS SG and London Mathematical Society
Further Information: Further Information

Joint event with the London Mathematical Society

Speaker: Professor Bill Roscoe, University of Oxford

Details:

I like to give systems semantics with a straightforward, refinement based verification model. This is true of CSP, Timed CSP, occam, and new work on CSM (a vehicle for translating model based languages such as UML). This has paid off with many successful verification projects from the transputer, many military systems, systems for creating correct embedded software, to security analysis. I will touch on the expressiveness of CSP, the virtues of refinement and the challenges of scalability and accessibility by non specialists.

S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
10
12
13
14
18
19
20
21
22
23
24
26
27
28
29
30