DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Moonzoo | - |
dc.contributor.author | Kannan, S. | - |
dc.contributor.author | Lee, I. | - |
dc.contributor.author | Sokolsky, O. | - |
dc.date.accessioned | 2011-09-07T02:09:31Z | - |
dc.date.available | 2011-09-07T02:09:31Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2001-07-23 | - |
dc.identifier.citation | Runtime Verification, v., no., pp.218 - 235 | - |
dc.identifier.uri | http://hdl.handle.net/10203/25119 | - |
dc.description.abstract | We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal specication of system requirements. MaC bridges the gap between formal verication, which ensures the correctness of a design rather than an implementation, and testing, which only partially validates an implementation. Java-MaC provides a lightweight formal method solution as a viable complement to the current heavyweight formal methods. An important aspect of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors against a formal requirements specication. Another salient feature is automatic instrumentation of executable codes. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC. | - |
dc.language | ENG | - |
dc.language.iso | en_US | en |
dc.publisher | Runtime Verification | - |
dc.title | Java-MaC: a Run-time Assurance Tool for Java Programs | - |
dc.title.alternative | Java-MaC: Java 프로그램을 위한 신뢰성 검사도구 | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 218 | - |
dc.citation.endingpage | 235 | - |
dc.citation.publicationname | Runtime Verification | - |
dc.identifier.conferencecountry | France | - |
dc.identifier.conferencecountry | France | - |
dc.contributor.localauthor | Kim, Moonzoo | - |
dc.contributor.nonIdAuthor | Kannan, S. | - |
dc.contributor.nonIdAuthor | Lee, I. | - |
dc.contributor.nonIdAuthor | Sokolsky, O. | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.