2407 search results - page 194 / 482 » A Tool for Abstraction in Model Checking |
202
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
192
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
175
click to vote
WSC
2007
15 years 9 months ago
2007
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
184
click to vote
IJCIS
2007
15 years 7 months ago
2007
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
184
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...