
Z
 Referenced in 239 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 339 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. ...

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

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

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

ZEBEC
 Referenced in 8 articles
[sw01034]
 A reliable and portable software package, called ZEBEC (ZEros of BEssel functions Complex), is presented, which localizes and computes simple zeros of Bessel functions of ...

Zebra
 Referenced in 2 articles
[sw01035]
 The main goal of developing the Zebra technology was to decrease the overall costs of software development and support. Another objective was to raise the ...

ZEBRA
 Referenced in 1 article
[sw15672]
 All offline programming in highenergy physics is carried out, for various reasons, in the Fortran 77 programming language. While this language offers certain advantages over ...