Formal Verification of Arbitrary Network Topologies

Míreanna comhchosúla

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