• Z

  • Referenced in 230 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 308 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 20 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, ...
  • 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 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 off-line programming in high-energy physics is carried out, for various reasons, in the Fortran 77 programming language. While this language offers certain advantages over ...