Keyword: Formal Specification and Verification : Search

Applied Filters

People

Conferences

Publication Date

4 Results for: Keyword: Formal Specification and VerificationEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,842,484 records)|Limit your search to The ACM Full-Text Collection (774,547 records)

Showing 1 - 4of4 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
January 2025
Model-checking Strategic Abilities in Information-sharing Systems
ACM Transactions on Computational Logic (TOCL), Volume 26, Issue 1Article No.: 5, Pages 1–45https://doi.org/10.1145/3704919
We introduce a subclass of concurrent game structures (CGS) with imperfect information in which agents are endowed with private data-sharing capabilities. Importantly, our CGSs are such that it is still decidable to model-check these CGSs against a ...
0
73
Metrics
Total Citations0
Total Downloads73
Last 12 Months73
Last 6 weeks19
Get Access
article
October 2017
A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude
International Journal of Information Technology and Web Engineering (IJITWE-IGI), Volume 12, Issue 4Pages 22–41https://doi.org/10.4018/IJITWE.2017100102

Real-time systems must be properly validated and verified before their manufacturing and deployment in order to increase their reliability and reduce their maintenance cost. Models have been used for a long time to build complex systems, in virtually ...
0
Metrics
Total Citations0
research-article
June 2017
Specification, Verification and Design of Evolving Automotive Software: Invited
DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017Article No.: 83, Pages 1–6https://doi.org/10.1145/3061639.3072946

Modern automotive systems consist of hundreds of functionalities implemented in software. Moreover, these functionalities are constantly evolving with increasing demand for automation, industry competition and changing sensor and actuator capabilities. ...
3
181
Metrics
Total Citations3
Total Downloads181
Last 12 Months8
Last 6 weeks1
Get Access
research-article
March 2005
Formal Specification and Verification of Multi-Agent Systems
- Mustapha Bourahla,
- Mohamed Benmohamed
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 123, Issue CPages 5–17

Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to ...
0
Metrics
Total Citations0