383 search results - page 12 / 77 » Testing Concurrent Systems: A Formal Approach |
OPODIS
2004
14 years 10 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
ENTCS
2008
14 years 9 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
96
Voted
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...