4047 search results - page 235 / 810 » Algebraic Model Checking |
196
click to vote
FORTE
2004
15 years 8 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
154
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
204
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
166
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...