• Kronos

  • Referenced in 274 articles [sw01270]
  • time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent systems ... failures may have severe consequences. Hence, real-time systems need to be rigorously modeled ... KRONOS, components of real-time systems are modeled by timed automata and the correctness requirements...
  • Time4sys2imi

  • Referenced in 1 article [sw31184]
  • tool translating Time4sys models into parametric timed automata in the input language of IMITATOR. This ... real-time systems, but also to infer some timing constraints (deadlines, offsets (ldots)) guaranteeing schedulability...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • MoDeST

  • Referenced in 34 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • MOTOR

  • Referenced in 8 articles [sw02988]
  • MoTor stands for the MoDeST Tool Environment. MoTor...
  • IF-2.0

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

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Ptolemy

  • Referenced in 81 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • Hadoop

  • Referenced in 134 articles [sw08481]
  • The Apache Hadoop software library is a framework...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • SAPA

  • Referenced in 17 articles [sw20683]
  • SAPA: A multi-objective metric temporal planner. SAPA...