880 search results - page 8 / 176 » Model checking erlang programs: the functional approach |
111
click to vote
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
120
Voted
ASPLOS
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
122
Voted
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
130
click to vote
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...