Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312937zbMATH OpenOpenAlexFDO

Authors Li Tan

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2086507
• Tools and Algorithms for the Construction and Analysis of Systems
• Play to Test
• Automated Technology for Verification and Analysis
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• scientific article; zbMATH DE number 2086507 (Why is no real title available?)
• PlayGame

Describes a project that uses

Uses Software

• Truth/SLC

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312937)