Paper Info
Title
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs
Abstract
The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. This paper describes (1) a powerful mechanism for elegantly synchronizing concurrent and distributed computations which supports a declarative model of concurrency that avoids explicitly suspending and resuming computations, (2) its implementation (for both uniprocessors and distributed systems) as an extension to the Java programming language, and (3) how model-based verification methods can be directly applied to programs in the resulting language.
Year
DOI
Venue
2005
10.1109/ICECCS.2005.50
ICECCS
Keywords
DocType
ISBN
model-based verification method,resulting language,concurrent system,Java programming language,declarative model,programming sequential system,powerful mechanism,Formal Verification,Constraint-Based Java Programs
Conference
0-7695-2284-X
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Andrew Santosa114613.36