3733 search results - page 195 / 747 » Logics of communication and change |
126
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
103
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
104
click to vote
JLP
2006
15 years 1 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
111
click to vote
JLP
2007
15 years 1 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
122
click to vote
ISQED
2011
IEEE
14 years 5 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...