
177
E-Commerce, E-Business and E-Service – Lee (Ed)
© 2014 Taylor & Francis Group, London, ISBN 978-1-138-02646-9
Model checking and analysis of systems dependent on CPU speed
Takahisa Mizuno & Shin-Ya Nishizaki
Department of Computer Science, Tokyo Institute of Technology, Tokyo, Japan
ABSTRACT: System behavior is strongly related to the CPU’s execution speed in the situation where
you have very limited computational resources. Such a situation is difficult to analyze exhaustively. Model
checking is one of the automated verification techniques for concurrent systems, and is widely applied
not only in academic research but also in industrial practica ...