Executing Temporal Logic Programs by Ben C. Moszkowski
English | Mar. 31, 1986 | ISBN: 0521310997 | 125 Pages | PDF | 0.50 MB
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic, Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and other dynamic systems.