Abstract | ||
---|---|---|
Java is largely used to develop distributed and concurrent systems, but testing multithreaded systems cannot guarantee the quality of the software; in contrast, verification techniques give us a higher confidence about the system and, among these, model checking methods automatically establish properties of complex systems. Such techniques are usually applied to specification languages, and several environments exist to verify temporal properties of concurrent specifications. In this paper we present an attempt to apply model checking techniques for verifying a subset of multithreaded Java programs. In particular, we use a tool based on the selective mu-calculus logic to check systems described through the CCS specification language. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2004.06.010 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
selective mu-calculus logic,reduced models,higher confidence,java.,ccs,model checking,model checking method,concurrent specification,complex system,java,ccs specification language,model checking technique,multithreaded java program,concurrent system,multithreaded programs,state explosion,multithreaded system | Specification language,Complex system,Programming language,Model checking,Computer science,Java concurrency,Real time Java,Theoretical computer science,Software,Java Modeling Language,Java | Journal |
Volume | Issue | ISSN |
110 | C | 1571-0661 |
Citations | PageRank | References |
6 | 0.44 | 32 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sara Gradara | 1 | 100 | 6.61 |
Antonella Santone | 2 | 400 | 52.45 |
Maria Luisa Villani | 3 | 1079 | 50.41 |
Gigliola Vaglini | 4 | 336 | 66.43 |