687 search results - page 68 / 138 » Specification and Verification of Model Transformations Usin... |
99
Voted
TSE
1998
15 years 7 days ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
117
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
96
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
108
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
114
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a met...