Bilaketaren emaitzak - interactive verification programming program contracts (https OR http)

Iradokizunak:
interactive verification » interactive sonification , integration verification , integrating verification
verification programming » specification programming , identification programming , verification program
programming program » programming programmed , programming problem , programming problems
program contracts » programme contract , program abstracts , program controls

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Argitaratua 2014

Aurkibidea: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Testu osoa

Baliabide elektronikoa eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Argitaratua 2010

Aurkibidea: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Testu osoa

Baliabide elektronikoa eBook

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Argitaratua 2007

Aurkibidea: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Testu osoa

Baliabide elektronikoa eBook

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Argitaratua 2015

Aurkibidea: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Testu osoa

Baliabide elektronikoa eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”
Testu osoa

Baliabide elektronikoa eBook

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Argitaratua 2005

Aurkibidea: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Testu osoa

Baliabide elektronikoa eBook

Rigorous Development of Complex Fault-Tolerant Systems

Argitaratua 2006

Aurkibidea: “... at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System...”
Testu osoa

Baliabide elektronikoa eBook

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Argitaratua 2013

Aurkibidea: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Testu osoa

Baliabide elektronikoa eBook

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /

Argitaratua 2006

Aurkibidea: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Testu osoa

Baliabide elektronikoa eBook

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

Argitaratua 2015

Aurkibidea: “... and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts...”
Testu osoa

Baliabide elektronikoa eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Argitaratua 2010

Aurkibidea: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Testu osoa

Baliabide elektronikoa eBook

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
Testu osoa

Baliabide elektronikoa eBook

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Testu osoa

Baliabide elektronikoa eBook

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

Argitaratua 2013

Aurkibidea: “... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”
Testu osoa

Baliabide elektronikoa eBook

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Argitaratua 2007

Aurkibidea: “... -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances...”
Testu osoa

Baliabide elektronikoa eBook

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

Argitaratua 2008

Aurkibidea: “... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”
Testu osoa

Baliabide elektronikoa eBook

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Argitaratua 2013

Aurkibidea: “... Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource...”
Testu osoa

Baliabide elektronikoa eBook

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...”
Testu osoa

Baliabide elektronikoa eBook

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Argitaratua 2014

Aurkibidea: “... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”
Testu osoa

Baliabide elektronikoa eBook

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu