مرکز منطقه ای اطلاع رساني علوم و فناوري - Proving Invariants of I/O Automata with TAME

Title of article :

Proving Invariants of I/O Automata with TAME

Author/Authors :

Myla Archer، نويسنده , , Constance Heitmeyer and Elvinia Riccobene ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

201

To page :

232

Keywords :

formal methods , proof checking , software requirements analysis , Theorem Proving , Verification , Software Engineering

Journal title :

Automated Software Engineering

Serial Year :

2002

Journal title :

Automated Software Engineering

Record number :

307096

Link To Document :