Tag formal-verification - Esta é a página 2 - GeneraCodice

Disseminating a token in Alloy

https://www.generacodice.com/pt/articolo/5407226/disseminating-a-token-in-alloy
  formal-verification  -  model-checking  -  alloy
StackOverflow StackOverflow

Formal verification of timing requirements

https://www.generacodice.com/pt/articolo/5257454/formal-verification-of-timing-requirements
  time  -  verification  -  embedded  -  formal-verification  -  real-time
StackOverflow StackOverflow

LLVM static value analysis for optimization

https://www.generacodice.com/pt/articolo/5103119/llvm-static-value-analysis-for-optimization
  compiler-construction  -  formal-methods  -  formal-verification  -  compilation  -  llvm
StackOverflow StackOverflow

printing internal solver formulas in z3

https://www.generacodice.com/pt/articolo/4989255/printing-internal-solver-formulas-in-z3
  formal-verification  -  theorem-proving  -  z3  -  smt
StackOverflow StackOverflow

Can I generate a number of SystemVerilog properties within a loop?

https://www.generacodice.com/pt/articolo/4932782/can-i-generate-a-number-of-systemverilog-properties-within-a-loop
  properties  -  formal-verification  -  verilog  -  system-verilog  -  system-verilog-assertions
StackOverflow StackOverflow

How are post-conditions implemented with CQRS?

https://www.generacodice.com/pt/articolo/4794277/how-are-post-conditions-implemented-with-cqrs
  .net  -  formal-verification  -  code-contracts  -  eventual-consistency  -  cqrs
StackOverflow StackOverflow

Point inside rotated 2D rectangle (not using translation, trig functions, or dot product)

https://www.generacodice.com/pt/articolo/4346828/point-inside-rotated-2d-rectangle-not-using-translation-trig-functions-or-dot-product
  formal-verification  -  polygon
StackOverflow StackOverflow

Meaning of \old in ACSL post-conditions

https://www.generacodice.com/pt/articolo/4045123/meaning-of-old-in-acsl-post-conditions
  formal-verification  -  design-by-contract  -  frama-c
StackOverflow StackOverflow

Can applications running in ring0 be secure without formal verification?

https://www.generacodice.com/pt/articolo/2375123/can-applications-running-in-ring0-be-secure-without-formal-verification
  system  -  operating-system  -  formal-verification
StackOverflow StackOverflow

Most efficient way to represent memory buffers in Z3

https://www.generacodice.com/pt/articolo/2280920/most-efficient-way-to-represent-memory-buffers-in-z3
  formal-verification  -  z3
StackOverflow StackOverflow
Resultados encontrados: 38
scroll top