tool: HOL-UNITY

Language:
UNITY
Version:
2.1
Parts:
verification tool
Author:
?
Location:
?
Description:
?
Contact:
Flemming Andersen <fa@tfl.dk> ?
Updated:
?

Related Items

language: UNITY

category: concurrent, parellel, and simulation languages summary, or expanded.

This work supported by Idiom Consulting. Idiom is a full-service ISP, providing Internet access in Northern California and Web hosting worldwide.

Please send updates to free-compilers@idiom.com

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved