
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 1522 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

Uppaal
 Referenced in 601 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 269 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...

MiniML
 Referenced in 41 articles
[sw29625]
 A modal analysis of staged computation. We show...

FLOTTER
 Referenced in 13 articles
[sw29685]
 FLOTTER and SPASS are a clause normal form...