TACAS
13 years 10 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
13 years 10 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
13 years 10 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
13 years 10 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
13 years 10 months ago
2001 Springer |