Search Results - interactive verification programs programming contracts https

Search alternatives:
interactive verification » interactive sonification , integration verification , integrating verification
verification programs » verification program , certification programs , fortification programs
programming contracts » programming contract , programming constructs , programming constraints
programs programming » programmer programming , problems programming , programming programming
https » http

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

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”
View full text

Electronic 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...

Published 2005

Table of Contents: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
View full text

Electronic eBook

Rigorous Development of Complex Fault-Tolerant Systems

Published 2006

Table of Contents: “... at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
View full text

Electronic 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 /

Published 2015

Table of Contents: “... and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts...”
View full text

Electronic 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...

Published 2010

Table of Contents: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”
View full text

Electronic eBook

Narrow Search