GitHub / logicalhacking 9 projects
Software Assurance & Security Research Team
Git mirror of the Software Assurance & Security Research Team at the University of Exeter, UK. The team is headed by Achim D. Brucker (@adbrucker).
Projects
extended_finite_state_machine_inference
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".
isabelle_dof
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
sc_dom_components
Local mirror of the Archive of Formal Proof (AFP) entry "SC_DOM_Components".
shadow_sc_dom
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_DOM".
secureuml-gui
A ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.
dom_components
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
extended_finite_state_machines
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
shadow_dom
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".