BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jim McCarthy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we describe its operation and discuss mechanisms that are tailored to the efficient verification of nested-models. Further, we motivate the advantages of N-PAT over traditional model-checking tools through a network security case study.
The noncritical $4D$ $\cW_3$ string is a model of $\cW_3$ gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the $2D$ (Virasoro) string. The physical operators form a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or, equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of $SL(3,\CC)$. Details have appeared elsewhere. To appear in the proceedings of ``STRINGS '95: Future Perspectives in String Theory,'' USC, March 13--18, 1995
The noncritical $D=4$ $W_3$ string is a model of $W_3$ gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the $D=2$ (Virasoro) string. In particular, we calculate the physical spectrum as a problem in BRST cohomology. The corresponding operator cohomology forms a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or, equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of $SL(3,C)$. In this paper we attempt to present a complete summary of the progress made in these studies. [...]