Treffer: Inductively Verifying Invariant Properties of Parameterized Systems
Title:
Inductively Verifying Invariant Properties of Parameterized Systems
Authors:
Source:
Automated Software Engineering: An International Journal. April 2004 11(2):101-139
Database:
Springer Nature Journals