Formal Verification of Arbitrary Network Topologies

Geahča maid

• Formal verification of neural networks
  Dahkki: Bunel, R
  Almmustuhtton: (2019)
• On the formal specification and verification of network routing algorithms
  Dahkki: Davies, J, et al.
  Almmustuhtton: (1994)
• The XP Stabiliser Formalism: a Generalisation of the Pauli Stabiliser Formalism with Arbitrary Phases
  Dahkki: Mark A. Webster, et al.
  Almmustuhtton: (2022-09-01)
• Derived length for arbitrary topological spaces
  Dahkki: A. J. Jayanthan
  Almmustuhtton: (1992-01-01)
• Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq
  Dahkki: Sheng Yan, et al.
  Almmustuhtton: (2023-02-01)