5255 search results - page 344 / 1051 » Formal Methods for Privacy |
116
click to vote
IFL
2001
Springer
15 years 9 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
135
click to vote
AGTIVE
1999
Springer
15 years 9 months ago
1999
Springer
DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Ge...
174
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
152
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
172
Voted
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper proposes a new method to design an optimal instruction set for pipelined ASIP development using a formal HW/SW codesign methodology. The codesign task addressed in this...