1454 search results - page 73 / 291 » Stateful traits and their formalization |
118
Voted
FMCAD
2000
Springer
15 years 4 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-...
90
Voted
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
100
Voted
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
100
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
99
Voted
ISQED
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...