Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality setting » functionality testing, functionality securing, functional setting
program verification » formal verification
https functionality » its functionality, bags functionality, cross functionality
verification https » modification https, verification heap, verification attack
setting https » being https, writing https, feeding https
functionality setting » functionality testing, functionality securing, functional setting
program verification » formal verification
https functionality » its functionality, bags functionality, cross functionality
verification https » modification https, verification heap, verification attack
setting https » being https, writing https, feeding https
1
Published 2008
Table of Contents:
“... Consistency -- Implied Set Closure and Its Application to Memory Consistency Verification -- Effective Program...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Unsatisfiable Sets -- Deciding Local Theory Extensions via E-matching -- HW Verification -- Modular Deductive...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant Verification...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”View full text
Electronic
eBook
6
by Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Published 2006
Table of Contents:
“...Verification Planning -- Assertions -- Testbench Infrastructure -- Stimulus and Response...”Published 2006
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong...”View full text
Electronic
eBook
8
by Janssen, Jeroen., Janssen, Jeroen., Schockaert, Steven., Vermeir, Dirk., De Cock, Martine.
Published 2012
Table of Contents:
“...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...”Published 2012
View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
15
Table of Contents:
“...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... II -- On the Bipartite Unique Perfect Matching Problem -- Comparing Reductions to NP-Complete Sets...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... -- On Bar Recursion and Choice in a Classical Setting -- Proofs, Upside Down: A Functional Correspondence...”View full text
Electronic
eBook