• Z

• Referenced in 247 articles [sw10291]
• Using Z. Specification, refinement, and proof. The book is an in-depth 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 translation-based 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 361 articles [sw04887]
• Z3 is a high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. ...

• Z3-str

• Referenced in 5 articles [sw19493]
• Zheng Y, Zhang X, Ganesh V (2013) Z3-str: a Z3-based string solver for web application analysis. Analyzing web applications requires reasoning about strings and non-strings ...

• Z88

• Referenced in 2 articles [sw06846]
• Z88 Freeware: The fast and compact Open Source FE-program

• 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 fluid-structure interaction. The ...

• Zanzibar OpenIVR

• Referenced in 1 article [sw21455]
• Zanzibar OpenIVR: An open-source 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 21 articles [sw01032]
• The Boolean Satisfiability Problem (SAT) is a well known NP-complete 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 protein-coding 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 rigid-body 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 ...

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