Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68641OpenAlexW4298302743MaRDI QIDQ5312937FDOQ5312937

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

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

Mathematics Subject Classification ID

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

Cited In (2)

• PlayGame
• Title not available (Why is that?)

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)