ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Towards the Automated Verification of Multithreaded Java Programs
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/3-540-46002-0_13
◽
2002
◽
pp. 173-187
◽
Cited By ~ 33
Author(s):
Giorgio Delzanno
◽
Jean-Francois Raskin
◽
Laurent Van Begin
Keyword(s):
Automated Verification
◽
Java Programs
Download Full-text
Related Documents
Cited By
References
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
JOVIAL J73 Automated Verification System: Implementation Phase.
10.21236/ada148732
◽
1984
◽
Author(s):
C. Gannon
Keyword(s):
Automated Verification
◽
System Implementation
◽
Implementation Phase
◽
Verification System
Download Full-text
Model Synthesis and Stochastic Automated Verification of Systems-of-Systems Dynamic Architectures
2020 International Conference on Advanced Computer Science and Information Systems (ICACSIS)
◽
10.1109/icacsis51025.2020.9263119
◽
2020
◽
Author(s):
Ahmad Mohsin
◽
Naeem Khalid Janjua
◽
Martin Masek
◽
Valdemar Vicente Graciano Neto
Keyword(s):
Automated Verification
◽
Systems Of Systems
◽
Model Synthesis
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
Enabling static analysis for partial java programs
ACM SIGPLAN Notices
◽
10.1145/1449955.1449790
◽
2008
◽
Vol 43
(10)
◽
pp. 313-328
◽
Cited By ~ 10
Author(s):
Barthélémy Dagenais
◽
Laurie Hendren
Keyword(s):
Static Analysis
◽
Java Programs
Download Full-text
Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites
2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)
◽
10.1109/icccs52626.2021.9449249
◽
2021
◽
Author(s):
Calanna Salvatore
◽
Andrea Calvagna
◽
Andrea Fornaia
◽
Riccardo Torrisi
◽
Emiliano Tramontana
Keyword(s):
Automatic Generation
◽
Combinatorial Testing
◽
Java Programs
Download Full-text
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions
ACM SIGSOFT Software Engineering Notes
◽
10.1145/2693208.2693245
◽
2015
◽
Vol 40
(1)
◽
pp. 1-5
◽
Cited By ~ 2
Author(s):
Peter Anderson
◽
Nick Vrvilo
◽
Eric Mercer
◽
Vivek Sarkar
Keyword(s):
Java Programs
Download Full-text
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)
Science of Computer Programming
◽
10.1016/j.scico.2013.08.005
◽
2014
◽
Vol 81
◽
pp. 1-2
Author(s):
Jens Bendisposto
◽
Michael Leuschel
◽
Markus Roggenbach
Keyword(s):
Automated Verification
◽
Critical Systems
Download Full-text
Run-time checking of data- and protocol-oriented properties of Java programs
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13
◽
10.1145/2480362.2480656
◽
2013
◽
Cited By ~ 1
Author(s):
Stijn de Gouw
◽
Frank S. de Boer
◽
Einar Broch Johnsen
◽
Peter Y. H. Wong
Keyword(s):
Java Programs
◽
Run Time
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close