Second VeriSure Workshop
The purpose of VeriSure is to explore issues at the conjunction of computer-aided verification and system assurance: roughly-speaking the interplay of proofs and safety-cases.
More information on the goals of VeriSure 2014 can be found on the VeriSure 2014 Website
Click on the Program button above left for the VeriSure 2014 program.
Note the VeriSure 2014 is a workshop and each session provides a substantial period for discussion (which the EasyChair-generated program shows as a separate session).