Results 1 to 20 of 184
Sort by:

  • RTC toolbox
  • Referenced in 10 articles [sw14256]
  • Real-Time Calculus (RTC) Toolbox is a free Matlab toolbox for system-level performance analysis ... distributed real-time and embedded systems. The RTC Toolbox is based on an efficient representation ... functions for Modular Performance Analysis with Real-Time Calculus...

  • ac2lus
  • Referenced in 2 articles [sw17953]
  • solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre ... present an approach to connect the Real-Time Calculus (RTC) method to the syn- chronous...

  • Moby/DC
  • Referenced in 5 articles [sw01395]
  • checking parametric real-time specifications. We define an operational subset of Duration Calculus, called phase ... analysis and verification of real-time system descriptions that contain timing parameters. We introduce...

  • CATS

  • Referenced in 1 article [sw17954]
  • modeled using timed automata and the real-time calculus. It is based on an approximation...

  • LARVA
  • Referenced in 7 articles [sw21408]
  • LARVA, for the runtime verification of real-time properties of Java programs. Properties ... including timed-automata enriched with stopwatches, Lustre, and a subset of duration calculus. The tool ... transactions. LARVA also performs analysis of real-time properties, to calculate, if possible, an upper...

  • PREGO
  • Referenced in 5 articles [sw16793]
  • system, called prego, based on the situation calculus, that is able to reason effectively about ... powerful framework for exploring real-time reactivity and an interesting bridge between logic and probability...

  • MarCaSPiS
  • Referenced in 5 articles [sw06957]
  • Sessions and Pipelines). CaSPiS is a core calculus where sessions and pipelines are viewed ... primitives that permit the use of real-time bounds in the logical characterisation...

  • SyMAT
  • Referenced in 0 articles [sw15997]
  • solve problems. Collaborate: Edit files in real-time over the Internet, and use the SyMAT ... others. Do math: Solve complex algebra and calculus, or graph functions. Computer algebra system...

  • ACL2
  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...

  • CGAL
  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...

  • Coq
  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

  • Mathematica
  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...

  • Matlab
  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • R
  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...

  • SUNDIALS
  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...