Change request for a new Knowledge Area in Formal Methods for Security now released for public consultation

Change request for a new Knowledge Area in Formal Methods for Security now released for public consultation

Published: 21 Feb 2020, 10:47 a.m.

A change request for a new KA in Formal Methods for Security is open for public review and comment. All constructive comments are welcome so please let us know what you think. We would appreciate if comments could be based around the following points:

  • Positive points (what did you like) about the KA?
  • What is missing from the KA and why?
  • Should anything be removed from the KA and why?
  • How could the KA be improved? (with examples and references)

Public consultation will be open for a 4-week period until Friday 20 March 2020.

All comments should be sent to: contact@cybok.org.