1796 search results - page 332 / 360 » An Approach to Compositional Model Checking |
127
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
108
Voted
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
127
click to vote
WEA
2005
Springer
15 years 8 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
107
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
196
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...