Reference : SMT-based Checking of SOLOIST over Sparse Traces
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/13535
SMT-based Checking of SOLOIST over Sparse Traces
English
Bersani, Marcello Maria []
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ghezzi, Carlo []
Krstić, Srđan []
San Pietro, Pierluigi []
2014
Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
Springer
Yes
No
International
17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
5-13 April 2014
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
http://hdl.handle.net/10993/13535

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
fase2014.pdfAuthor preprint366.47 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.