265 search results - page 16 / 53 » XHMBS: A Formal Model to Support Hypermedia Specification |
184
click to vote
POPL
2005
ACM
16 years 2 hour ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
113
click to vote
JACM
2002
14 years 11 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
COMPSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
75
Voted
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
ISTA
2001
15 years 1 months ago
2001
: In this article, the visual Internet-oriented Java-based E-net Simulation System (JESS) is considered. JESS supports all the simulation stages from constructing the models to exp...