42 search results - page 7 / 9 » Verification Tools for Finite-State Concurrent Systems |
171
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
167
click to vote
SIGSOFT
2002
ACM
16 years 6 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
158
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
159
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
178
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...