409 search results - page 51 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
131
Voted
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
86
Voted
ERCIMDL
2005
Springer
15 years 7 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
119
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
92
Voted
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...