176 search results - page 28 / 36 » Formal Verification of Gate-Level Computer Systems |
106
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
148
Voted
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
128
Voted
PODC
2011
ACM
14 years 5 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...
JAR
2008
15 years 2 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
104
click to vote
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...