1023 search results - page 150 / 205 » Model Checking: Software and Beyond |
160
Voted
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
146
click to vote
CROSSROADS
2010
14 years 10 months ago
2010
Crowdsourcing is an effective tool to solve hard tasks. By bringing 100,000s of people to work on simple tasks that only humans can do, we can go far beyond traditional models of ...
258
click to vote
TCAD
2011
14 years 10 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
132
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
133
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...