1633 search results - page 186 / 327 » On the Verification of Temporal Properties |
134
Voted
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
104
Voted
ICWE
2007
Springer
15 years 7 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
90
Voted
ISPW
2005
IEEE
15 years 6 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
102
Voted
ICSE
2004
IEEE-ACM
15 years 6 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
80
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...