118
Voted
SPIN
15 years 7 months ago
2009 Springer 
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
96
Voted
SPIN
15 years 7 months ago
2009 Springer 
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
106
click to vote
SPIN
15 years 7 months ago
2009 Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
117
Voted
SPIN
15 years 7 months ago
2009 Springer 
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
102
Voted
SPIN
15 years 7 months ago
2009 Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
|
Theoretical Computer Science