429 search results - page 44 / 86 » Theorem Proving Languages for Verification |
110
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
103
click to vote
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers achieve greater security. Proof of possession of authorisation values known as authdata is require...
137
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
115
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
122
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...