Performance analysis using formal methods
Date of Award
Doctor of Philosophy (PhD)
Electrical Engineering and Computer Science
labeled transition system, LOTOS, Computer science, Operations research, Electrical engineering
Enhancements are made to the labeled transition system LOTOS in order to map specifications to stochastic models. The results are formalized into an enhanced labeled transition system that retains all of the prior properties of the language, but permits performance predictions from specifications. Methods are discussed for an automated tool to generate and analyze stochastic models.
Surface provides description only. Full text is available to ProQuest subscribers. Ask your Librarian for assistance.
Kappler, Christopher Jon, "Performance analysis using formal methods" (1996). Electrical Engineering and Computer Science - Dissertations. Paper 244.