410 search results - page 9 / 82 » Tools for System Validation with B Abstract Machines |
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
103
Voted
TPHOL
1998
IEEE
15 years 3 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
SERP
2003
15 years 1 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
79
Voted
CAV
2009
Springer
16 years 6 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
94
Voted
VVEIS
2007
15 years 24 days ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...