Empirical analysis and optimization of an NP−hard problem using CSP and FDR

Նմանատիպ նյութեր

• Verifying Statemate Statecharts Using CSP and FDR
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (2006)
• Counter Abstraction in the CSP/FDR setting
  ‌: Mazur, T, և այլն
  Հրապարակվել է: (2007)
• Counter abstraction in the CSP/FDR setting
  ‌: Mazur, T, և այլն
  Հրապարակվել է: (2009)
• Critical systems validation and verification with CSP and FDR
  ‌: Goldsmith, M, և այլն
  Հրապարակվել է: (1999)
• Modelling and verifying key−exchange protocols using CSP and FDR
  ‌: Roscoe, A
  Հրապարակվել է: (1995)