Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming program » programming programmed, programming problem, programming problems
program control » program controls, programs control, progress control
https » http
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming program » programming programmed, programming problem, programming problems
program control » program controls, programs control, progress control
https » http
1
Veröffentlicht 2013
Inhaltsangabe:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2013
Inhaltsangabe:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2006
Inhaltsangabe:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2005
Inhaltsangabe:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2013
Inhaltsangabe:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2010
Inhaltsangabe:
“... Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2007
Inhaltsangabe:
“... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”Volltext
Elektronisch
E-Book
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Veröffentlicht 2013
Inhaltsangabe:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2005
Inhaltsangabe:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2013
Inhaltsangabe:
“... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2007
Inhaltsangabe:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2008
Inhaltsangabe:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2012
Inhaltsangabe:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2012
Inhaltsangabe:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2010
Inhaltsangabe:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2014
Inhaltsangabe:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”Volltext
Elektronisch
E-Book
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Veröffentlicht 2013
Inhaltsangabe:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Volltext
Elektronisch
E-Book
18
Inhaltsangabe:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Volltext
Volltext
Elektronisch
E-Book
19
Veröffentlicht 2006
Inhaltsangabe:
“... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”Volltext
Elektronisch
E-Book
20
Veröffentlicht 2014
Inhaltsangabe:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Volltext
Elektronisch
E-Book