Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program verifier » program series
https function » its function, sites function, ups function
using https » using http, nursing https, aging https
program verifier » program series
https function » its function, sites function, ups function
using https » using http, nursing https, aging https
1
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
2
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...”View full text
Electronic
eBook
5
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... for Interface and Product Line Theories -- Using History Invariants to Verify Observers -- Term Rewriting...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”View full text
Electronic
eBook
9
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
11
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... and Refinement-Preserving Logic -- Slicing Abstractions -- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Flow Policies in Industrial Workflows -- Specification and Verification -- Specifying and Verifying...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook