Papers on X-Machines


CSRG publications on X-Machines:

An integrated methodology for the formal specification, verification and testing of systems
Mike Holcombe (1993) (Abstract) (ps file)

X-machines with stacks and recursive enumerable functions
Mike Holcombe, Florentin Ipate (1994) (Abstract) (ps file)

Almost All Software Testing is Futile!
Mike Holcombe, Florentin Ipate (1995) (Abstract) (ps file)

Another Look at Computability
Mike Holcombe, Florentin Ipate (1995) (Abstract) (ps file)

Using an X-Machine to Model a Video Cassette Recorder
M.Fairtlough, M.Holcombe, F.Ipate, C.Jordan, G.Laycock, Z.Duan (1994) (Abstract) (ps file)


This page was last modified on May 24 1996 by Chih Nam Yap.