Checking the Conformance of a Promela Design to its Formal Specification in Event-B

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-17581-2_8 ◽

2015 ◽

pp. 110-126 ◽

Cited By ~ 1

Author(s):

Dieu-Huong Vu ◽

Yuki Chiba ◽

Kenro Yatake ◽

Toshiaki Aoki

Keyword(s):

Formal Specification

Download Full-text

Formal Specification and Design

10.1017/cbo9780511569777 ◽

1992 ◽

Cited By ~ 17

Author(s):

L. M. G. Feijs ◽

H. B. M. Jonkers

Keyword(s):

Formal Specification

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Cited By ~ 1

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Information technology. Z formal specification notation. Syntax, type system and semantics

10.3403/02620581 ◽

2002 ◽

Keyword(s):

Information Technology ◽

Formal Specification ◽

Type System

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

Application of Formal Specification to Software Maintenance.

10.21236/ada311137 ◽

1990 ◽

Cited By ~ 2

Author(s):

Neel Madhav ◽

Sriram Sankar

Keyword(s):

Formal Specification ◽

Software Maintenance

Download Full-text

The Use of Formal Specification of Software

10.1007/978-3-642-67881-3 ◽

1980 ◽

Cited By ~ 1

Keyword(s):

Formal Specification

Download Full-text

Formal specification for a clinical cyclotron control system

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99814 ◽

1990 ◽

Cited By ~ 4

Author(s):

Jonathan Jacky

Keyword(s):

Control System ◽

Formal Specification

Download Full-text

An environment for Ada software development based on formal specification

ACM SIGAda Ada Letters ◽

10.1145/24645.24651 ◽

1987 ◽

Vol VII (3) ◽

pp. 94-106 ◽

Cited By ~ 3

Author(s):

D C Luckham ◽

R Neff ◽

D S Rosenblum

Keyword(s):

Software Development ◽

Formal Specification

Download Full-text

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00009 ◽

2021 ◽

Author(s):

Atif Mashkoor ◽

Michael Leuschel ◽

Alexander Egyed

Keyword(s):

Formal Specification ◽

Novel Approach ◽

Check Compliance

Download Full-text