A type-checker for real-time Object-Z
Specification languages are extensively used for capturing the requirements of safety-critical and real-time applications. Most of the specification languages reported in the literature for real-time appli ations are functional; there are few object-oriented real-time specification languages such as...
Main Author: | Thiruvillamalai, Varadarajan |
---|---|
Language: | en_US |
Published: |
2007
|
Online Access: | http://hdl.handle.net/1993/870 |
Similar Items
-
A type-checker for real-time Object-Z
by: Thiruvillamalai, Varadarajan
Published: (2007) -
A type-checker for real-time Object-Z
by: Thiruvillamalai, Varadarajan
Published: (2007) -
Building a refinement checker for Z
by: Anthony J.H. Simons, et al.
Published: (2011-06-01) -
A simple proof checker for real-time systems
by: Leung, Catherine
Published: (2009) -
A simple proof checker for real-time systems
by: Leung, Catherine
Published: (2009)