TACAS
2001
Springer
13 years 8 months ago
2001
Springer
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
