TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
TASE
2007
IEEE
14 years 6 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...