
TINA
 Referenced in 40 articles
[sw03280]
 proposes the construction of a number of representations for the behaviour of Petri nets ... state spaces, they provide a finite symbolic representation of their behaviour in terms of state...

OFMC
 Referenced in 26 articles
[sw09466]
 lazy intruder, which is a symbolic representation of the intruder, and constraint differentiation, which...

FOXBOX
 Referenced in 15 articles
[sw00307]
 system for manipulating symbolic objects in black box representation. The FOXBOX system ... puts in practice the black box representation of symbolic objects and provides algorithms for performing ... symbolic calculus with such representations. Black box objects are stored as functions. For instance ... black box representation of objects can push the size of symbolic expressions far beyond what...

VeriFast
 Referenced in 48 articles
[sw07705]
 specification. Verification proceeds by symbolic execution using an abstract representation of memory as a separation...

UMFPACK
 Referenced in 276 articles
[sw00989]
 multifrontal numerical factorization. The preordering and symbolic analysis phase computes an upper bound ... sparse matrix, and converting between sparse matrix representations.\parThe simple user interface shields the user...

dk.brics.automaton
 Referenced in 7 articles
[sw12040]
 unrestricted regular operations. It uses a symbolic representation based on intervals of Unicode characters...

VATA
 Referenced in 7 articles
[sw09917]
 bottomup and topdown semisymbolic representations. The library implements several highly optimised reduction...

Synthia
 Referenced in 7 articles
[sw12933]
 with difference bound matrices for a symbolic representation of both the discrete controlrelated...

LinAIG
 Referenced in 6 articles
[sw10316]
 discrete state spaces. We propose an improved symbolic algorithm for the verification of linear hybrid ... large discrete state spaces (where an explicit representation of discrete states is difficult). Here both ... state space are represented by one symbolic representation called LinAIGs. LinAIGs represent (possibly nonconvex...

Tempo
 Referenced in 5 articles
[sw11778]
 forward reachability analysis and uses a symbolic representation of clock constraints. It forms the core...

MTBDD
 Referenced in 5 articles
[sw12873]
 bottomup and topdown semisymbolic representations. The library implements several highly optimised reduction...

PRISM
 Referenced in 29 articles
[sw23359]
 statistical modeling. We present an overview of symbolicstatistical modeling language PRISM whose programs ... knowledge representation language appropriate for probabilistic reasoning, it can describe various types of symbolicstatistical...

S3
 Referenced in 4 articles
[sw19495]
 algorithm first makes use of a symbolic representation so that membership in a set defined ... constraintbased generation of instances from these symbolic expressions so that the total number...

LoAT
 Referenced in 3 articles
[sw23213]
 programs. To this end, we construct symbolic representations of program executions using a framework...

Vivid
 Referenced in 3 articles
[sw01316]
 heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented...

FODDPlanner
 Referenced in 14 articles
[sw07747]
 propositional stochastic planning problems by using compact representations, in particular algebraic decision diagrams, to capture ... symbolic dynamic programming lifted these ideas to first order logic using several representation schemes. Recent...

APMC
 Referenced in 25 articles
[sw11483]
 Approximate probabilistic model checking. Symbolic model checking methods have been extended recently to the verification ... probabilistic systems. However, the representation of the transition matrix may be expensive for very large...

LFRtoolbox
 Referenced in 18 articles
[sw04756]
 uncertainty blocks the reusability of generated LFTrepresentations and the user friendliness of manipulation ... with improved symbolical preprocessing lead generally to a faster generation of LFTrepresentations with significantly...

FermiFab
 Referenced in 4 articles
[sw06055]
 mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced...

GeometricAlgebra
 Referenced in 2 articles
[sw25725]
 Algebraic operations in orthonormal frame (additive representation, symbolic coefficients); Switching between multiple algebras in same...