The well-known problem of state space explosion in model checking is even more critical
when applying this technique to programming languages, mainly due to the presence of …

This paper presents an integrated solution to the problem of obtaining the kinematics of a
moving vehicle and the 3-D locations of salient points in the external environment, based on …

This paper reports the analysis of an industrial implementation of the session-layer of a load-
balancing software system. This software comprises 7.5 thousand lines of C code. It is used …

The well-known problem of state space explosion in model checking is even more critical
when applying this technique to programming languages, mainly due to the presence of …

“ON THE FLY” INPUT OUTPUT CONFORMANCE VERIFICATION Martin Weiglhofer Competence
Network Softnet Austria Institute for Software Technology Graz University of Technology 8010 …

The combination of static and dynamic software analysis, such as data flow analysis (Dfa)
and model checking, provides benefits for both disciplines. On the one hand, the information …

A current trend in the software engineering community is to integrate different tools in a
friendly and powerful development environment for use by final users. This is also the case …

This paper describes a set of verification components that open the way to perform on-the-fly
software model checking with the Cadp toolbox, originally designed for verifying the …

Software model checking technology is based on an exhaustiveand efficient simulation of all
possible execution paths in concurrent programs. Existing tools based on this method can …

This paper reports the analysis of an industrial implementa tion of the session-layer of a load-
balancing software system. This soft ware comprises 7.5 thousand lines of C code. It is used …