Formal specification and verification of a procedural protocol: case study

Software Engineering Journal ◽

10.1049/sej.1995.0013 ◽

1995 ◽

Vol 10 (3) ◽

pp. 97 ◽

Author(s):

R. Lai

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

FORMAL SPECIFICATION AND VERIFICATION OF MULTI-AGENT ROBOTICS SOFTWARE SYSTEMS - A Case Study

Proceedings of the International Conference on Agents and Artificial Intelligence ◽

10.5220/0001657904750482 ◽

2009 ◽

Keyword(s):

Formal Specification ◽

Software Systems ◽

Formal Specification And Verification ◽

Multi Agent ◽

Specification And Verification

Download Full-text

Case study: Formal specification and verification of railway interlocking system

Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey ◽

10.1109/eurmic.2001.952462 ◽

2002 ◽

Author(s):

T. Hlavaty ◽

L. Preucil ◽

P. Stepan

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study

Mobile Agents - Lecture Notes in Computer Science ◽

10.1007/3-540-45647-3_4 ◽

2001 ◽

pp. 42-53 ◽

Author(s):

Xavier Hannotin ◽

Paolo Maggi ◽

Riccardo Sisto

Keyword(s):

Mobile Agent ◽

Formal Specification ◽

Data Integrity ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal specification and verification of hardware: a comparative case study

25th ACM/IEEE, Design Automation Conference.Proceedings 1988. ◽

10.1109/dac.1988.14758 ◽

2003 ◽

Author(s):

V. Stavridou ◽

H. Barringer ◽

D.A. Edwards

Keyword(s):

Formal Specification ◽

Comparative Case Study ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems

Journal of Communications ◽

10.12720/jcm.12.8.482-488. ◽

2017 ◽

Author(s):

Joon-Ha Jang ◽

◽

Jin-Young Choi

Keyword(s):

Formal Specification ◽

System Of Systems ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems

Journal of Communications ◽

10.12720/jcm.12.8.482-488 ◽

2017 ◽

pp. 482-488

Author(s):

Joon-Ha Jang ◽

◽

Jin-Young Choi

Keyword(s):

Formal Specification ◽

System Of Systems ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Case study “production cell”: A comparative study in formal specification and verification

KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Lecture Notes in Computer Science ◽

10.1007/bfb0015473 ◽

1995 ◽

pp. 388-416 ◽

Author(s):

Claus Lewerentz ◽

Thomas Lindner

Keyword(s):

Comparative Study ◽

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Production Cell

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

Formal Specification and Verification of Self-Adaptive Concurrent Systems

IEEE Access ◽

10.1109/access.2018.2849821 ◽

2018 ◽

Vol 6 ◽

pp. 34790-34803 ◽

Author(s):

Muhammad Ilyas Fakhir ◽

Syed Asad Raza Kazmi

Keyword(s):

Formal Specification ◽

Concurrent Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text