
Z
 Referenced in 267 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 1 article
[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 396 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 5 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 ...

Z4 database
 Referenced in 8 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 4 articles
[sw07624]
 Aeroelastic tailoring using fiber orientation and topology optimization We present a structural optimization aided design methodology for composite laminated plates subject to fluidstructure interaction. The ...

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 ...

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 21 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 ...

Zchaff2004
 Referenced in 21 articles
[sw01032]
 The Boolean Satisfiability Problem (SAT) is a well known NPcomplete problem. While its complexity remains a source of many interesting questions for theoretical computer scientists, ...

zCompositions
 Referenced in 2 articles
[sw26183]
 R package zCompositions: Treatment of Zeros and Nondetects in Compositional Data Sets. Principled methods for multivariate leftcensoring and zeros in compositional data sets.

ZCURVE
 Referenced in 1 article
[sw23025]
 ZCURVE: a new system for recognizing proteincoding genes in bacterial and archaeal genomes. A new system, ZCURVE 1.0, for finding protein coding genes in bacterial ...

ZDC
 Referenced in 1 article
[sw10499]
 Towards a practical engineering tool for rostering. The profitability and morale of many organizations (such as factories, hospitals and airlines) are affected by their ability ...