1 Hit in 1.3 sec

An efficient software verification using multi-layered software verification tool

S V. Gayetri Devi, C Nalini, N Kumar
2018 International Journal of Engineering & Technology  
A concurrent program has multiple processes and shared objects. Each process is a sequential program and they use the shared objects for communication for completion of a task.  ...  This paper describes the proposed tool 'F-JAVA' for multithreaded Java codebases in contrast with existing 'FRAMA-C' platform, which is dedicated to real-time concurrent C software analysis.  ...  Cost enough in practical applications CONC2SEQ: A FRAMA-C Plugin for Verification of Parallel Compositions of C Programs Concurrent C programs that use the concurrency library POSIX threads  ... 
doi:10.14419/ijet.v7i2.21.12465 fatcat:ulnklsmke5ejjj3augoep7zauq