Sciweavers

3147 search results - page 50 / 630
» Open-Source Model Checking
Sort
View
74
Voted
CAV
2004
Springer
97views Hardware» more  CAV 2004»
15 years 5 months ago
Efficient Modeling of Embedded Memories in Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
CAV
2001
Springer
74views Hardware» more  CAV 2001»
15 years 4 months ago
Model Checking with Formula-Dependent Abstract Models
Alexander Asteroth, Christel Baier, Ulrich Aß...
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 4 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
WWW
2006
ACM
16 years 16 days ago
Supporting online problem-solving communities with the semantic web
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
Anupriya Ankolekar, Katia P. Sycara, James D. Herb...