
Z
 Referenced in 278 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book is an indepth introduction to the specification language $Z$. It is primarily directed to the user; the ...

Z2pack
 Referenced in 2 articles
[sw20875]
 Z2Pack: Numerical Implementation of Hybrid Wannier Centers for Identifying Topological Materials. The intense theoretical and experimental interest in topological insulators and semimetals has established band ...

Z2sal
 Referenced in 6 articles
[sw07087]
 Z2sal: a translationbased model checker for z. Complex computer systems are difficult to implement correctly. To aid in the process, formal methods use mathematics in ...

z3
 Referenced in 496 articles
[sw04887]
 Z3 is a highperformance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic, fixedsize bitvectors, extensional arrays, uninterpreted functions, and quantifiers. ...

Z34Bio
 Referenced in 1 article
[sw25444]
 Z34Bio: An SMT based framework for analyzing biological computation. The basic principles governing the development and function of living organisms remain only partially understood, despite ...

Z3str
 Referenced in 7 articles
[sw19493]
 Zheng Y, Zhang X, Ganesh V (2013) Z3str: a Z3based string solver for web application analysis. Analyzing web applications requires reasoning about strings and nonstrings ...

Z3str2
 Referenced in 2 articles
[sw30520]
 Z3str2: an efficient solver for strings, regular expressions, and length constraints. In recent years, string solvers have become an essential component in many formal verification, ...

Z3str3
 Referenced in 4 articles
[sw30519]
 Z3str3: a string solver with theoryaware heuristics. Z3str3 is a constraint solver for the quantifierfree theory of string equations, the regularexpression membership predicates, and linear ...

Z4 database
 Referenced in 11 articles
[sw27190]
 A database of Z4 codes. There has been much research on codes over Z4, sometimes called quaternary codes, for over a decade. Yet, no database ...

Z88
 Referenced in 2 articles
[sw06846]
 Z88 Freeware: The fast and compact Open Source FEprogram

Z88Aurora
 Referenced in 2 articles
[sw04909]
 The open source program Z88OS is suitable as a really basic FEM program for learning the fundamentals of finite element analysis by examining and, if ...

ZAERO
 Referenced in 9 articles
[sw07624]
 ZAERO  A Powerful Engineering Software Suite. ZAERO, integrates all essential disciplines required for advanced industrial aeroelastic design and analysis. ZAERO’s unique highfidelity geometry module ...

zalpha
 Referenced in 1 article
[sw36260]
 R package zalpha: Run a Suite of Selection Statistics. A suite of statistics for identifying areas of the genome under selective pressure. See Jacobs, Sluckin ...

ZAME
 Referenced in 2 articles
[sw27738]
 ZAME: Interactive LargeScale Graph Visualization. We present the zoomable adjacency matrix explorer (ZAME), a visualization tool for exploring graphs at a scale of millions of ...

ZAMLIB
 Referenced in 2 articles
[sw36312]
 ZAMLIB  FORTRAN Library, Zentralinstitut für Angewandte Mathematik, KFA Jülich

Zanzibar OpenIVR
 Referenced in 1 article
[sw21455]
 Zanzibar OpenIVR: An opensource framework for development of spoken dialog systems. The maturity of standards and the availability of open source components for all levels ...

Zap
 Referenced in 8 articles
[sw06823]
 Zap: Automated theorem proving for software analysis Automated theorem provers (ATPs) are a key component that many software verification and program analysis tools rely on. ...

Zapato
 Referenced in 11 articles
[sw25425]
 zapato: Automatic theorem proving for predicate abstraction refinement. Counterexampledriven abstraction refinement is an automatic process that produces abstract models of finite and infinitestate systems. When ...

ZBDD
 Referenced in 2 articles
[sw12885]
 A ZBDD Package for Efficient Model Checking of Petri Nets.

zChaff
 Referenced in 35 articles
[sw04757]
 zChaff is an implementation of the well known CHAFF, an algorithm for solving satisfiability (SAT) problems. It won the Best Complete Solver in both industrial ...