478 search results - page 34 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
FM
2006
Springer
14 years 11 days ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
DATE
2004
IEEE
14 years 14 days ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...