Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
integrating verification » integration verification, integrity verification, interactive verification
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
integrating verification » integration verification, integrity verification, interactive verification
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
Publicado 2013
Tabla de Contenidos:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Enlace del recurso
Electrónico
eBook
2
Publicado 2013
Tabla de Contenidos:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”Enlace del recurso
Electrónico
eBook
3
Publicado 2006
Tabla de Contenidos:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”Enlace del recurso
Electrónico
eBook
4
Publicado 2005
Tabla de Contenidos:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Enlace del recurso
Electrónico
eBook
5
Publicado 2013
Tabla de Contenidos:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“... Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models...”Enlace del recurso
Electrónico
eBook
7
Publicado 2007
Tabla de Contenidos:
“... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”Enlace del recurso
Electrónico
eBook
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Enlace del recurso
Electrónico
eBook
9
Publicado 2005
Tabla de Contenidos:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Enlace del recurso
Electrónico
eBook
10
Publicado 2013
Tabla de Contenidos:
“... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”Enlace del recurso
Electrónico
eBook
11
Publicado 2007
Tabla de Contenidos:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Enlace del recurso
Electrónico
eBook
12
Publicado 2008
Tabla de Contenidos:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Enlace del recurso
Electrónico
eBook
13
Publicado 2012
Tabla de Contenidos:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Enlace del recurso
Electrónico
eBook
14
Publicado 2012
Tabla de Contenidos:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”Enlace del recurso
Electrónico
eBook
15
Publicado 2010
Tabla de Contenidos:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Enlace del recurso
Electrónico
eBook
16
Publicado 2014
Tabla de Contenidos:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”Enlace del recurso
Electrónico
eBook
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado 2013
Tabla de Contenidos:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Enlace del recurso
Electrónico
eBook
18
Tabla de Contenidos:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
19
Publicado 2006
Tabla de Contenidos:
“... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”Enlace del recurso
Electrónico
eBook
20
Publicado 2014
Tabla de Contenidos:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Enlace del recurso
Electrónico
eBook