96 search results - page 1 / 20 » A Short Survey of Automated Reasoning |
AB
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
CADE
2003
Springer
14 years 5 months ago
2003
Springer
TCAD
2008
13 years 5 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
FASE
2011
Springer
12 years 8 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
ECSQARU
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...