Leveraging Applications of Formal Methods
First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
Autor*in
Tiziana Maragria
Themen in »Leveraging Applications of Formal Methods«
Unified Modeling Language (UML) algorithms classification deductive verification formal analysis formal methods formal modeling hybrid petri nets logical constraints model checking modeling operating system optimization theorem proving verification
Stimmen zu »Leveraging Applications of Formal Methods«
From the reviews:
"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
()