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
1
Vydáno 2010
Obsah: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Získat plný text
Elektronický zdroj E-kniha
2
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
3
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
4
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
5
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
6
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
7
Vydáno 2007
Obsah: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Získat plný text
Elektronický zdroj E-kniha
8
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
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání