Titlebook: Software Engineering and Formal Methods; SEFM 2013 Collocated Steve Counsell,Manuel Núñez Conference proceedings 2014 Springer Internationa

hauteur

Applied Bounded Model Checking for Interlocking System Designsotential safety violations. From a formal methods perspective, these verification objectives can be approached by theorem proving, global, or bounded model checking. This paper explains the techniques for application of bounded model checking techniques, and discusses their advantages in comparison to the alternative approaches.

Judicious

Instrumental

DEMUR

带子

A Typing System for Privacyature: it includes the use of . to enable reasoning about information collection, it builds on . to control information processing, and it employs . to restrict information dissemination. We illustrate the use of our typing system via simple examples.