Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/11804192_16 ◽

2006 ◽

pp. 342-363 ◽

Cited By ~ 80

Author(s):

Patrice Chalin ◽

Joseph R. Kiniry ◽

Gary T. Leavens ◽

Erik Poll

Keyword(s):

Specification And Verification

Download Full-text

Geometrical product specifications (GPS). Features utilized in specification and verification

10.3403/30154332u ◽

2015 ◽

Keyword(s):

Specification And Verification ◽

Product Specifications

Download Full-text

Standard for SystemVerilog. Unified hardware design, specification and verification language

10.3403/30167898u ◽

2015 ◽

Keyword(s):

Hardware Design ◽

Design Specification ◽

Specification And Verification

Download Full-text

Real-Time System: Specification and Verification

10.21236/ada206467 ◽

1989 ◽

Author(s):

K. T. Narayana

Keyword(s):

Real Time ◽

System Specification ◽

Time System ◽

Real Time System ◽

Specification And Verification

Download Full-text

Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986

10.21236/ada226984 ◽

1986 ◽

Author(s):

William T. Mayfield ◽

John Chludzinski ◽

John McHugh ◽

Stephen R. Welke

Keyword(s):

North Carolina ◽

Formal Specification ◽

Research Triangle ◽

Trade Name ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Concurrent Programs

10.21236/ada265201 ◽

1993 ◽

Cited By ~ 2

Author(s):

Daniel M. Berry

Keyword(s):

Formal Specification ◽

Concurrent Programs ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems

10.21236/ada501823 ◽

2009 ◽

Cited By ~ 1

Author(s):

John Hatcliff ◽

Torben Amtoft ◽

Anindya Banerjee

Keyword(s):

Distributed Systems ◽

Large Scale ◽

Specification And Verification

Download Full-text

History-based specification and verification of Java collections in KeY (keynote)

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3432349 ◽

2020 ◽

Author(s):

Frank S. de Boer ◽

Hans-Dieter A. Hiep

Keyword(s):

Specification And Verification

Download Full-text

Specification and verification of web services transactions

Proceedings of the Fourth SIGMOD PhD Workshop on Innovative Database Research - IDAR '10 ◽

10.1145/1811136.1811143 ◽

2010 ◽

Author(s):

Iman Saleh ◽

Gregory Kulczycki ◽

M. Brian Blake

Keyword(s):

Web Services ◽

Specification And Verification

Download Full-text

Distributed causal memory: modular specification and verification in higher-order distributed separation logic

Proceedings of the ACM on Programming Languages ◽

10.1145/3434323 ◽

2021 ◽

Vol 5 (POPL) ◽

pp. 1-29

Author(s):

Léon Gondelman ◽

Simon Oddershede Gregersen ◽

Abel Nieto ◽

Amin Timany ◽

Lars Birkedal

Keyword(s):

Higher Order ◽

Separation Logic ◽

Specification And Verification

Download Full-text

Specification and verification of abstract database types

Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '84 ◽

10.1145/588011.588047 ◽

1984 ◽

Cited By ~ 7

Author(s):

David Stemple ◽

Tim Sheard

Keyword(s):

Specification And Verification

Download Full-text