BPR'08 - The 1st International Workshop on Bit-Precise Reasoning

Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware and software systems. Current applications include microcode validation, word-level model checking, software verification, equivalence checking and random tes...

Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware and software systems. Current applications include microcode validation, word-level model checking, software verification, equivalence checking and random testcase generation. The continued success in these and other applications depends on the development of more efficient decision procedures for bit-precise reasoning, their combination with decision procedures for other theories (e.g. the theory of arrays), as well as domain-specific techniques to further increase the scalability of the analysis. The goal of this workshop is to bring together researchers in Bit-Precise Reasoning with industrial users. Topics of interest include, but are not limited to: * Case studies and applications * New decision procedures and novel implementation techniques * Combination with other theories * Theoretical results * Benchmarks and evaluation methodologies

» more

Are you the conference organizer?

Report a Problem With This Conference