
MSVL
 Referenced in 6 articles
[sw31710]
 which is an executable subset of projection temporal logic (PTL). Specifically, we extendMSVL with...

TRP++
 Referenced in 18 articles
[sw14679]
 Propositional Linear Time Temporal Logic based on the temporal resolution calculus. It is released under ... later). The main goals of the project are: Developing a robust, and relatively efficient version ... clausal resolution approach to propositional temporal logic; Creating an experimental environment to try different modifications...

PLSMC
 Referenced in 1 article
[sw14776]
 symbolic model checker for propositional projection temporal logic. The formal specification languages for existing model ... computation tree logic (CTL) and linear temporal logic (LTL) are not powerful enough to describe ... design and implementation procedure of propositional projection temporal logic (PPTL) symbolic model checker (PLSMC...

SCR
 Referenced in 19 articles
[sw06939]
 method has been successfully used in many projects and organizations to specify software requirements, surprisingly ... logic via two symbols pred and succ. This slight extension of firstorder logic allows ... simple and avoids the complexity of temporal logic...

MyStoryPlayer
 Referenced in 1 article
[sw21963]
 audiovisual annotation tool developed by the project ECLAP, the elibrary for performing arts. This ... them with other audiovisual objects through temporal and logical relationships. A user can therefore connect...

BioImageXD
 Referenced in 2 articles
[sw18624]
 dimensional microscopy images. It’s a collaborative project, designed and developed by microscopists, cell biologists ... used for simple visualization of multichannel temporal image stacks to complex 3D rendering ... tens of tools for mathematical and logical processing and noise reduction. Analysis tools cover both...

Apron
 Referenced in 69 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

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

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

Galileo
 Referenced in 13 articles
[sw00316]
 Galileo: A tool for dynamic fault tree analysis...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

MapReduce
 Referenced in 262 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MetiTarski
 Referenced in 52 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NetworkX
 Referenced in 159 articles
[sw00616]
 NetworkX (NX) is a Python package for the...