Søgeresultater - interactive verification program program contracts https

1

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

Udgivet 2014

Indholdsfortegnelse: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2010

Indholdsfortegnelse: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2007

Indholdsfortegnelse: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2005

Indholdsfortegnelse: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2015

Indholdsfortegnelse: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2005

Indholdsfortegnelse: “... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2006

Indholdsfortegnelse: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Få fuldtekst

Electronisk eBog

8

Rigorous Development of Complex Fault-Tolerant Systems

Udgivet 2006

Indholdsfortegnelse: “... at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2013

Indholdsfortegnelse: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2015

Indholdsfortegnelse: “... and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2008

Indholdsfortegnelse: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2010

Indholdsfortegnelse: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2010

Indholdsfortegnelse: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2013

Indholdsfortegnelse: “... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2007

Indholdsfortegnelse: “... -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2008

Indholdsfortegnelse: “... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2013

Indholdsfortegnelse: “... Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2007

Indholdsfortegnelse: “...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2014

Indholdsfortegnelse: “... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2005

Indholdsfortegnelse: “... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning