
Z
 Referenced in 259 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 381 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 ...

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

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

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

zdelta
 Referenced in 2 articles
[sw20101]
 zdelta is a general purpose lossless delta compression library developed at Polytechnic University. It is implemented by modifying the zlib 1.1.3 compression library (the modifications ...

ZDOCK
 Referenced in 3 articles
[sw12737]
 Protein Docking. ZDOCK: Performs a full rigidbody search of docking orientations between two proteins. The current version, 3.0.2, includes performance optimization and a novel pairwise ...

ZEAL
 Referenced in 14 articles
[sw01033]
 ZEAL is a general purpose package for computing zeros of analytic functions. It can be used in various physical applications. More precisely, given a rectangular ...