32032 search results - page 26 / 6407 » Verified programming in Guru |
MSIW
1989
15 years 3 months ago
1989
FASE
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
IFM
2009
Springer
15 years 5 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
102
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...