382 search results - page 4 / 77 » Tutorial on Model Checking: Modelling and Verification in Co... |
SPIN
1999
Springer
13 years 10 months ago
1999
Springer
AIED
2007
Springer
13 years 12 months ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
DAC
2008
ACM
14 years 6 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
IPPS
2007
IEEE
14 years 2 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...