Execution
Published • Apr 15, 2011
NobleIDNI9P59W33R18S03
Authors:
Michael Fisher
Abstract
This chapter presents several ways of generating a program from a propositional temporal logic (PTL) specification. It describes the MetateM approach to the direct execution of PTL specifications. The chapter examines the Concurrent MetateM system which implements the MetateM approach, bringing in d...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!