Suggestion de sujets dans votre recherche.
Recherches alternatives:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
control http » control https, control held, control how
1
Image de couverture de livre
Publié 2013
Table des matières: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
2
Image de couverture de livre
Publié 2013
Table des matières: “... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
3
Image de couverture de livre
Publié 2006
Table des matières: “... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
4
Image de couverture de livre
Publié 2005
Table des matières: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
5
Image de couverture de livre
Publié 2010
Table des matières: “... Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
6
Image de couverture de livre
Publié 2007
Table des matières: “... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
7
Image de couverture de livre
Publié 2008
Table des matières: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
8
Image de couverture de livre
Publié 2013
Table des matières: “... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
9
Image de couverture de livre
Publié 2013
Table des matières: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
10
Image de couverture de livre
Publié 2013
Table des matières: “... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
11
Image de couverture de livre
Publié 2005
Table des matières: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
12
Image de couverture de livre
Publié 2007
Table des matières: “...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
13
Image de couverture de livre
Publié 2012
Table des matières: “...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
14
Image de couverture de livre
Publié 2012
Table des matières: “... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
15
Image de couverture de livre
Publié 2010
Table des matières: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
16
Image de couverture de livre
Publié 2014
Table des matières: “... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
17
Image de couverture de livre
par Atan, Rodziah
Publié 2005
Sujets: “...Programming languages (Electronic computers)...”
Accéder au texte intégral
Thèse
Ajouter aux favoris
Enregistré dans:
18
Image de couverture de livre
Publié 2013
Table des matières: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
19
Image de couverture de livre
par Spear, Chris., Spear, Chris.
Publié 2008
Table des matières: “...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
20
Image de couverture de livre
Publié 2006
Table des matières: “... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche