10159 search results - page 378 / 2032 » System Design Validation Using Formal Models |
152
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
136
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
140
click to vote
SERP
2003
15 years 5 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
110
click to vote
WSC
2007
15 years 6 months ago
2007
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
125
click to vote
TC
2010
15 years 2 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...