• LTSA-WS

  • Referenced in 13 articles [sw10585]
  • then compiled into the Finite State Process (FSP) process algebra to concisely model the required ... behavior. BPEL4WS implementations are mechanically translated to FSP to allow an equivalence trace verification process...
  • MESOSCOP

  • Referenced in 1 article [sw09084]
  • effect of rotation is negligible essentially if $Fsp 2/Rsb 0$ is small, where...
  • Expokit

  • Referenced in 170 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • mCRL2

  • Referenced in 51 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • M-TREE

  • Referenced in 13 articles [sw02565]
  • Secure processor architectures enable new sets of applications...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • IF-2.0: A validation environment for component-based...
  • Yices

  • Referenced in 135 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • CADP

  • Referenced in 129 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • Fiacre

  • Referenced in 6 articles [sw07004]
  • Fiacre: an intermediate language for model verification in...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • Exp.Open 2.0: A Flexible Tool Integrating Partial Order...
  • csp2B

  • Referenced in 21 articles [sw07703]
  • csp2B: A practical approach to combining CSP and...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b...