1823 search results - page 126 / 365 » Formal specification: a roadmap |
121
Voted
MJ
2006
15 years 4 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
134
click to vote
HCI
2011
14 years 8 months ago
2011
Over the past 15 years, children have become more integrally involved in the design of their technology. In this paper, we present the idea that design partnering methods, specific...
141
Voted
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
123
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
161
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...