Arama Sonuçları - program verification https functionals function https

Şunu mu demek istediniz:
program verification » formal verification
functionals function » function function , functions functional , function dysfunction
verification https » modification https , verification heap , verification attack
https functionals » type functionals , data functionals , flaps functional
function https » functions https , fiction https

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant Verification...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”
Tam Metin Erişim

Elektronik Ekitap

Hardware and Software, Verification and Testing Second International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”
Tam Metin Erişim

Elektronik Ekitap

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification...”
Tam Metin Erişim

Elektronik Ekitap

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
Tam Metin Erişim

Elektronik Ekitap

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
Tam Metin Erişim

Elektronik Ekitap

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings /

Baskı/Yayın Bilgisi 2011

Konular: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Tam Metin Erişim

Elektronik Ekitap

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”
Tam Metin Erişim

Elektronik Ekitap

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Verification II -- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives...”
Tam Metin Erişim

Elektronik Ekitap

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Tam Metin Erişim

Elektronik Ekitap

Hardware Verification with System Verilog An Object-Oriented Framework /

Yazar: Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
Baskı/Yayın Bilgisi 2007

İçindekiler: “...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
Tam Metin Erişim

Elektronik Ekitap

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

Yazar: Spear, Chris., Spear, Chris.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Tam Metin Erişim

Elektronik Ekitap

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

Yazar: Spear, Chris., Spear, Chris.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Tam Metin Erişim

Elektronik Ekitap

High-Level Verification Methods and Tools for Verification of System-Level Designs /

Yazar: Kundu, Sudipta., Kundu, Sudipta., Lerner, Sorin., Gupta, Rajesh K.
Baskı/Yayın Bilgisi 2011

İçindekiler: “... -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis...”
Tam Metin Erişim

Elektronik Ekitap

1
2
3
4
5
6
7
8
9
10
11
Sonraki »
[13]

Aramayı Daralt