Results 281 to 290 of about 828,996 (313)
Some of the next articles are maybe not open access.
On the Verification of Coordination
2000Scenario-based verification is introduced as a technique to deal with the complexity of coordination languages, which feature both data manipulation and concurrency. The approach is exemplified by a verification study of the software architecture SPLICE that is used by Hollandse Signaalapparaten.
Paul Dechering, Izak van Langevelde
openaire +1 more source
2006
This paper describes the invited talk given at the 8th International Conference on Distributed Computing and Networking (ICDCN 2006), at the Indian Institute of Technology Guwahati, India. This talk was intended to give a partial survey and to motivate further studies of distributed verification.
Amos Korman, Shay Kutten
openaire +1 more source
This paper describes the invited talk given at the 8th International Conference on Distributed Computing and Networking (ICDCN 2006), at the Indian Institute of Technology Guwahati, India. This talk was intended to give a partial survey and to motivate further studies of distributed verification.
Amos Korman, Shay Kutten
openaire +1 more source
A Survey on Assertion-based Hardware Verification
ACM Computing Surveys, 2022Hasini Witharana +2 more
exaly
A Review on Fact Extraction and Verification
ACM Computing Surveys, 2023Giannis Bekoulis, Nikos Deligiannis
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck, , Louise A Dennis
exaly
Hierarchical verification using verification diagrams
1996Anca Browne, Zohar Manna, Henny Sipma
openaire +1 more source