Formally Reasoning About and Automatically Generating Sequential and Parallel Simulations

Simple item page
dc.contributor.authorAbrams, Marcen
dc.contributor.authorPage, Ernest H.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:36:13Zen
dc.date.available2013-06-19T14:36:13Zen
dc.date.issued1992en
dc.description.abstractThis paper proposes a methodology to automate the construction of simulation programs within the context of a simulation support environment. The methodology starts with a simulation model specification in the form of a set of coupled state transition systems. The paper provides a mechanical method of mapping the transition systems first into a set of formal assertions, permitting formal verification of the transition systems, and second into an executable program. UNITY, a computational model and proof system suitable for development of parallel and distributed programs through step-wise refinement of specifications, is used as the specification and program notation. The methodology provides a means to independently verify the correctness of the transition systems: one can specify properties formally that the model should obey and prove them as theorems using the formal specification.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000335/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000335/01/TR-92-55.pdfen
dc.identifier.trnumberTR-92-55en
dc.identifier.urihttp://hdl.handle.net/10919/19804en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleFormally Reasoning About and Automatically Generating Sequential and Parallel Simulationsen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-92-55.pdf
Size:
1.77 MB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports