245 search results - page 27 / 49 » Efficient Symbolic Model Checking for Process Algebras |
138
click to vote
ECLIPSE
2007
ACM
15 years 9 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
158
click to vote
FDL
2011
IEEE
14 years 5 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
171
click to vote
TSMC
2010
15 years 6 days ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
150
click to vote
FORTE
2007
15 years 7 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
161
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...