• 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...