Simulation program development by stepwise refinement in UNITY
Published in 1991 Winter Simulation Conference Proceedings. • Dec 9, 2002
Authors:,,
M. Abrams
E.H. Page
Richard E. Nance
Abstract
UNITY is a computational model and proof system suitable for development of parallel (and distributed) programs through stepwise refinement of specifications. UNITY supports the development of correct programs and the efficient implementation of those programs on parallel computer architectures. The...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!