198
Voted
FM
15 years 5 months ago
2006 Springer  112
Voted
FM
15 years 5 months ago
2006 Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
122
Voted
FM
15 years 5 months ago
2006 Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
124
click to vote
FM
15 years 5 months ago
2006 Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
135
Voted
FM
15 years 5 months ago
2006 Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
|
Formal Methods