880 search results - page 30 / 176 » Model checking erlang programs: the functional approach |
150
Voted
POPL
2012
ACM
14 years 5 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
148
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
125
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
127
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
132
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...