32032 search results - page 126 / 6407 » Verified programming in Guru |
160
Voted
ICMAS
1998
15 years 5 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
110
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a technique to improve verification at the VHDL level of digital circuits by means of a specially designed fault injection block. The injection technique allow...
135
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
134
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...