• LTSA-WS

  • Referenced in 14 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 200 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 55 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • M-TREE

  • Referenced in 14 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 154 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • CADP

  • Referenced in 132 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 9 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b...