Výsledky vyhledávání - programs functional program verifier array https

Alternativní vyhledávání:
programs functional » programming functional , proteins functional , processes functional
functional program » functional programs , national program , functional programming
program verifier » program series
verifier array » verifier proxy
https » http

Vydáno 2010

Obsah: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Získat plný text

Elektronický zdroj E-kniha

Vydáno 2014

Obsah: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Získat plný text

Elektronický zdroj E-kniha

Vydáno 2015

Obsah: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Získat plný text

Elektronický zdroj E-kniha

Vydáno 2015

Obsah: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Získat plný text

Elektronický zdroj E-kniha

Vydáno 2010

Obsah: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Získat plný text

Elektronický zdroj E-kniha

Vydáno 2010

Obsah: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Získat plný text

Elektronický zdroj E-kniha

Vydáno 2007

Obsah: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Získat plný text

Elektronický zdroj E-kniha

Autor Spear, Chris., Spear, Chris.
Vydáno 2008

Obsah: “... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
Získat plný text

Elektronický zdroj E-kniha