Specification and Verification of Encapsulation in Java Programs

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11494881_13 ◽

2005 ◽

pp. 195-210 ◽

Cited By ~ 1

Author(s):

Andreas Roth

Keyword(s):

Java Programs ◽

Specification And Verification

Download Full-text

Multilevel Code Cleaning using Root Extract Method for Java Programs

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6i9.457461 ◽

2018 ◽

Vol 6 (9) ◽

pp. 457-461

Author(s):

Pooja Kapila ◽

A. Sharma ◽

N. Kaur

Keyword(s):

Root Extract ◽

Java Programs

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

A thread monitoring system for multithreaded Java programs

ACM SIGPLAN Notices ◽

10.1145/1149982.1149985 ◽

2006 ◽

Vol 41 (5) ◽

pp. 21-29 ◽

Cited By ~ 5

Author(s):

Sewon Moon ◽

Byeong-Mo Chang

Keyword(s):

Monitoring System ◽

Java Programs

Download Full-text

Verification of MPI Java programs using software model checking

ACM SIGPLAN Notices ◽

10.1145/3016078.2851192 ◽

2016 ◽

Vol 51 (8) ◽

pp. 1-2

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Java Programs

Download Full-text