
Z
 Referenced in 272 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 465 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 7 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 ...

Z3str2
 Referenced in 2 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 2 articles
[sw30519]
 Z3str3: a string solver with theoryaware heuristics. Z3str3 is a constraint solver for the quantifierfree theory of string equations, the regularexpression membership predicates, and linear ...

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

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

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

zCompositions
 Referenced in 3 articles
[sw26183]
 R package zCompositions: Treatment of Zeros and Nondetects in Compositional Data Sets. Principled methods for multivariate leftcensoring and zeros in compositional data sets.