4047 search results - page 649 / 810 » Algebraic Model Checking |
149
click to vote
FOSSACS
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
166
click to vote
HYBRID
2010
Springer
16 years 22 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
150
click to vote
DATE
2008
IEEE
16 years 21 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
135
click to vote
ACSD
2006
IEEE
16 years 9 days ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
158
click to vote
COMPSAC
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...