A temporal logic language for debugging parallel programs

In this paper we present a temporal logic specification language for debugging parallel programs. We describe a partial order model of program runs over which a partial order temporal logic is defined. Furthermore we give an algorithm for proving whether a specification is satisfied by a program run...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:System Architecture and Integration: Procedings of the 20th Euromicro Conference, Septemeber 5-8, 1994, Liverpool England s. 170 - 177
Hlavní autoři: Frey, M., Weininger, A.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE Comput. Soc. Press 1994
Témata:
Automation
Computer bugs
Dynamic programming
Logic
Phase detection
Programming profession
Software debugging
Software testing
Specification languages
Storage area networks
ISBN:9780818664304, 0818664304
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this paper we present a temporal logic specification language for debugging parallel programs. We describe a partial order model of program runs over which a partial order temporal logic is defined. Furthermore we give an algorithm for proving whether a specification is satisfied by a program run.< >
ISBN:9780818664304
0818664304
DOI:10.1109/EURMIC.1994.390393