227 search results - page 34 / 46 » Tutorial: Parallel Model Checking |
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
100
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
93
Voted
SPAA
2005
ACM
15 years 5 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
104
Voted
ECOOP
2003
Springer
15 years 4 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
123
click to vote
EUROCAST
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...