Record icon

Record

Tales from Verification History

Abstract:

Program verification as a research area was born of the efforts of engineers and logicians to give meaning to programs. The fundamental ideas stem from diverse areas ranging from philosophy and linguistics to abstract algebra. In this talk, I will trace two threads in this tangled and colourful history: (1) Attempts to connect programming to logical reasoning, and (2) The drive to develop an algebra to model program behaviour. Most automated verification methods today can be viewed as combini...

Expand abstract

Actions


Authors


Publication date:
2009-01-01
UUID:
uuid:a74a5390-9370-4d46-aa8d-0b89ab02e9dd
Local pid:
cs:3240
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP