Bounded Verification of Software Models: Challenges and Opportunities

Abstract

The texts published in this publication are-unless indicated otherwise-covered by the Creative Commons Spain Attribution-Non commercial-No derivative works 3.0 licence. You may copy, distribute, transmit and broadcast provided that you attribute it (authorship, publication name, publisher) in the manner specified by the author(s) or licensor(s).