Specification and Verification of Timed Systems

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_1 ◽

1996 ◽

pp. 3-3

Author(s):

Joseph Sifakis

Keyword(s):

Timed Systems ◽

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

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

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