SAVE: An Environment for Visual Specification and Verification of IoT

2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW) ◽

10.1109/edocw.2016.7584384 ◽

2016 ◽

Author(s):

Yeongbok Choe ◽

Sunghyeon Lee ◽

Moonkun Lee

Keyword(s):

Specification And Verification ◽

Visual Specification

Download Full-text

A tool for visual specification and verification for secure process movements

eChallenges e-2015 Conference ◽

10.1109/echallenges.2015.7440971 ◽

2015 ◽

Author(s):

Yeongbok Choe ◽

Woorim Choi ◽

Gyeongeon Jeon ◽

Moonkun Lee

Keyword(s):

Specification And Verification ◽

Visual Specification

Download Full-text

WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints

Proceedings of the 21st International Conference on Distributed Multimedia Systems ◽

10.18293/vlss2015-018 ◽

2015 ◽

Author(s):

Vincenzo Del Fatto ◽

Vincenzo Deufemia ◽

Luca Paolino ◽

Sara Tumiati

Keyword(s):

Integrity Constraints ◽

Specification And Verification ◽

Visual Specification

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 ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Concurrent Programs

10.21236/ada265201 ◽

1993 ◽

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 ◽

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