Réinitialiser mot de passe

Using Formal Methods to increase confidence in one Home Network System implementation: Case study
In ISoLA 2007, vol. RNTI-SM-1, pp.201-212
A home network system consists of multiple networked appliances,
intended to provide more convenient and comfortable living for home users.
Before being deployed, one has to guarantee the correctness, the safety and the
security of the system. Here, we present the approach chosen to validate the Java
implementation of one home network system. We relies on the Java Modeling
Language (JML), to formaly specify and validate a model of the system. it.