
TRANSIT
 Referenced in 3 articles
[sw28674]
 EFSM skeleton by inferring guards and updates from the given fragments which is then automatically...

Datalog LITE
 Referenced in 8 articles
[sw28894]
 fact, these formalisms have natural presentations as fragments of Datalog LITE. Further, Datalog LITE ... equivalent to the alternationfree portion of guarded fixedpoint logic. Consequently, lineartime model ... proofs to the effect that lineartime fragments of extit{stratified} Datalog have too limited...

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

OTTER
 Referenced in 286 articles
[sw02904]
 Our current automated deduction system Otter is designed...

CUDA
 Referenced in 1035 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

AMPL
 Referenced in 532 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

CPLEX
 Referenced in 2268 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

SPASS
 Referenced in 149 articles
[sw04108]
 SPASS is an automated theorem prover for first...

Uppaal
 Referenced in 599 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

FALKO
 Referenced in 11 articles
[sw04839]
 Report on a practical application of ASMs in...

FINDER
 Referenced in 38 articles
[sw06376]
 Finite domain enumerator. This is a finite domain...

Z
 Referenced in 268 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book...

TABLEAUX
 Referenced in 13 articles
[sw11674]
 TABLEAUX: A general theorem prover for modal logics...

XPath
 Referenced in 358 articles
[sw15780]
 XPath 2.0 is an expression language that allows...

Bliksem
 Referenced in 15 articles
[sw21346]
 Bliksem is a firstorder, resolution based theorem...