Verification and Software Engineering
The growing pervasiveness of computerised systems makes our society vulnerable to faults or attacks on such systems. Rigorous software engineering methods and supporting efficient verification tools are crucial to counter this threat.
