Results 1 to 20 of 160
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z all

  • Z
  • Referenced in 279 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 3 articles [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 562 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. ...

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

  • Z3-str
  • Referenced in 8 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 ...

  • Z3str2
  • Referenced in 3 articles [sw30520]
  • Z3str2: an efficient solver for strings, regular expressions, and length constraints. In recent years, string solvers have become an essential component in many formal verification, ...

  • Z3str3
  • Referenced in 7 articles [sw30519]
  • Z3str3: a string solver with theory-aware heuristics. Z3str3 is a constraint solver for the quantifier-free theory of string equations, the regular-expression membership predicates, and linear ...

  • Z4 database
  • Referenced in 12 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 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 9 articles [sw07624]
  • ZAERO - A Powerful Engineering Software Suite. ZAERO, integrates all essential disciplines required for advanced industrial aeroelastic design and analysis. ZAERO’s unique high-fidelity geometry module ...

  • zalpha
  • Referenced in 1 article [sw36260]
  • R package zalpha: Run a Suite of Selection Statistics. A suite of statistics for identifying areas of the genome under selective pressure. See Jacobs, Sluckin ...

  • ZAME
  • Referenced in 2 articles [sw27738]
  • ZAME: Interactive Large-Scale Graph Visualization. We present the zoomable adjacency matrix explorer (ZAME), a visualization tool for exploring graphs at a scale of millions of ...

  • ZAMLIB
  • Referenced in 2 articles [sw36312]
  • ZAMLIB - FORTRAN Library, Zentralinstitut für Angewandte Mathematik, KFA Jülich

  • 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 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. Counterexample-driven abstraction refinement is an automatic process that produces abstract models of finite and infinite-state systems. When ...

  • Zaphod
  • Referenced in 1 article [sw38004]
  • Zaphod add-on for the firefox browser. Today we are launching Zaphod, an addon for integrating the Narcissus JavaScript engine into Firefox 4. Narcissus is neither ...