1129 search results - page 183 / 226 » Formal Verification of Websites |
133
Voted
JAR
2000
15 years 1 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
110
click to vote
FMSD
2002
15 years 1 months ago
2002
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
120
Voted
INFORMATICALT
2002
15 years 1 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
125
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
132
click to vote
WOA
2010
14 years 11 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....