2881 search results - page 337 / 577 » Model Checking for Programming Languages using Verisoft |
168
click to vote
COLLABORATION
1999
Springer
15 years 11 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
170
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
183
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
182
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
189
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...