• SLMC

  • Referenced in 72 articles [sw04604]
  • calculus systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency ... most widely used techniques to check temporal properties of software systems. However, when the analysis...
  • PDDL

  • Referenced in 96 articles [sw07079]
  • modelling language capable of expressing temporal and numeric properties of planning domains. In this paper...
  • BIOCHAM

  • Referenced in 43 articles [sw09927]
  • logic based language to formalize the temporal properties of a biological system and validate models ... kinetic parameters in high dimension from temporal logic constraints. Biocham is a free software protected...
  • PRISM

  • Referenced in 434 articles [sw01186]
  • systems against specifications written in the probabilistic temporal logics PCTL and CSL. The tool features ... probabilistic termination, performance, and quality of service properties for a range of systems, including randomized...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • that allows you to formally verify temporal logic properties of finite state systems, such...
  • AMT

  • Referenced in 13 articles [sw38045]
  • Property-Based Monitoring Tool for Analog Systems. In this paper ... describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce Stl/Psl ... standard language Psl and the real-time temporal logic Mitl, extended with constructs that allow ... real-valued variables. The tool automatically builds property observers from an Stl/Psl specification and checks...
  • PARAM

  • Referenced in 14 articles [sw09669]
  • Markov chains (PMCs). PARAM can evaluate temporal properties of PMCs and certain extensions of this...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • user provided properties formulated in temporal logic. JPAX can in addition analyze the program...
  • SMV

  • Referenced in 13 articles [sw04135]
  • allows a rich class of temporal properties, including safety, livenesss, fairness and deadlock freedom...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • other Petri net property, or check any temporal logic formula with a variety of model...
  • RATSY

  • Referenced in 10 articles [sw15042]
  • graphical user interface to specify system properties as simple Büchi word automata. Second ... construction synthesis of systems from their temporal properties. These new features and their seamless integration...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • Bandera tool set to model-check properties of concurrent Java software. The Bandera Tool ... software requirement formalized in Bandera’s temporal specification language, and it generates a program model ... customize the program model to the property being checked. When a model-checker produces...
  • Sparkle-T

  • Referenced in 2 articles [sw25422]
  • Temporal properties of Clean programs proven in Sparkle-T. In a pure functional language ... abstract object”. For this abstract object temporal properties (e.g. invariants) can be formulated and proved ... define and prove certain kinds of temporal properties of programs written in the pure functional ... extended to support object abstraction, certain temporal properties and a new form of theorems which...
  • RoVerGeNe

  • Referenced in 13 articles [sw10954]
  • differential equation models, dynamical properties are expressed in linear temporal logic and uncertain parameters ... problems: robustness analysis: checking whether a dynamical property is satisfied by every parameter...
  • VERIFAS

  • Referenced in 4 articles [sw33292]
  • VERIFAS verifies within seconds linear-time temporal properties over real-world and synthetic workflows...
  • ROMS

  • Referenced in 32 articles [sw30140]
  • temporal averaging of the barotropic mode to guarantee both exact conservation and constancy preservation properties...
  • AsmetaSMV

  • Referenced in 3 articles [sw16843]
  • model checker NuSMV to verify properties of ASM models written in the AsmetaL language ... results of using AsmetaSMV to verify temporal properties of various case studies of different characteristics...
  • PESSOA

  • Referenced in 20 articles [sw20123]
  • Linear Temporal Logic that is expressive enough to describe interesting properties but simple enough...
  • J-LO

  • Referenced in 3 articles [sw32260]
  • temporal assertions in Java 5 applications. Temporal properties (see below) can be specified using...
  • NAT2TEST

  • Referenced in 3 articles [sw16844]
  • which might consider discrete or continuous temporal properties. Automation is essential for this task, since...