Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Published 2008
Table of Contents:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”View full text
Electronic
eBook
2
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
3
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”View full text
Electronic
eBook
5
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
6
Published 2007
Table of Contents:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... and Expanding Deadlines? -- Quality of Service, Runtime Verification and Monitoring -- Performance Assessment...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”View full text
Electronic
eBook
10
Published 2011
Table of Contents:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Thirty Years from Now -- Formal Semantics, Specification and Verification -- Verifying Compilation...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems — A Survey of Developers...”View full text
Electronic
eBook