Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL

Klaus Havelund, Kim Guldstrand Larsen, Arne Skou. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. In Joost-Pieter Katoen, editor, Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999. Proceedings. Volume 1601 of Lecture Notes in Computer Science, pages 277-298, Springer, 1999. [doi]

Abstract

Abstract is missing.