4036 search results - page 635 / 808 » Formal Methods |
147
click to vote
FMCAD
2007
Springer
16 years 19 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
194
click to vote
FMICS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
161
click to vote
IFL
2007
Springer
16 years 19 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
166
click to vote
IFL
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
149
click to vote
IFM
2007
Springer
16 years 19 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...