1988 search results - page 283 / 398 » Engineering formal metatheory |
154
click to vote
ISCAS
2006
IEEE
16 years 13 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
151
click to vote
KBSE
2006
IEEE
16 years 13 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
160
click to vote
SCAM
2006
IEEE
16 years 13 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
156
click to vote
SEFM
2006
IEEE
16 years 13 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
178
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...