An Introduction to Practical Formal Methods Using Temporal Logic

Selv om navnet 'temporal logic' kan høres komplekst og skremmende ut, er de underliggende konseptene ofte enkle og grunnleggende. Boken "An Introduction to Practical Formal Methods Using Temporal Logic" gir en innføring i formelle metoder basert på temporal logikk, spesielt utviklet for å utvikle og teste komplekse datamaskinsystemer. Disse metodene støttes av en rekke godt utviklede verktøy, teknikker og resultater som kan anvendes på et bredt spekter av systemer. Fisher starter med en grundig introduksjon til emnet, der han dekker det viktigste innen temporal logikk gjennom en rekke eksempler, øvelser og henvisninger til mer avansert arbeid for å klargjøre og illustrere de diskuserte temaene. Deretter beskriver han hvordan denne logikken kan anvendes for å spesifisere ulike datamaskinsystemer, samtidig som han adresserer problemstillinger omkring kobling av spesifikasjoner, samtidighet, kommunikasjon og evnen til å sammensette systemer. Til slutt analyserer han temporære spesifikasjoner, og gir leseren innsikt i de praktiske bruksområdene av disse metodene.