253
click to vote
TACAS
16 years 10 days 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...
245
click to vote
TACAS
16 years 10 days 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...
202
click to vote
TACAS
16 years 10 days 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...
193
click to vote
TACAS
16 years 10 days 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...
|
Algorithms