3457 search results - page 91 / 692 » A Symbol Is Not a Symbol |
105
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
61
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
CAV
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
115
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...