Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
No Thumbnail Available
Files
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
216-236 p. ; 1.136ko.
Keywords
Langage de modélisation, Programmation linéaire, Vérification logicielle, Comptabilité analytique