3765 search results - page 179 / 753 » Formal Methods for Systems Engineering Behavior Models |
168
click to vote
ACSW
2006
15 years 8 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
162
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
144
click to vote
VLSID
2000
IEEE
15 years 11 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
151
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
168
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...