Testing and Verification
Internal Meetings (delenda)
Specification and Verification of Secure Embedded Systems
Organizer Sandro Etalle
Date 18 May 2006
Venue Pisa, Italy
Main Objectives Objective program will include invited talks, regular talks and plenty of time for discussion. The workshop will focus on the formal specification and verification of security properties, and in particular on the specification and formal verification of security protocols.
More information
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009