528 search results - page 21 / 106 » Construction of concrete verification models from C |
JAIR
2007
14 years 10 months ago
2007
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
AEI
2010
14 years 10 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
AOSD
2009
ACM
15 years 24 days ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
109
click to vote
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
100
click to vote
TACAS
2010
Springer
14 years 8 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...