Ruben Oostinga - A Java Bridge for LTSmin

author:Ruben Oostinga
title:A Java Bridge for LTSmin
keywords:LTSmin, Java, JNI, Jace, model checking
committee:prof.dr. J.C. van de Pol (1st supervisor)
prof.dr.ir. A. Rensink
Dr.ing. Bockisch
graduation date:18 July 2012


Abstract

References

  1. Stefan Blom, Jaco van de Pol and Michael Weber. Bridging the Gap between Enumerative and Symbolic Model Checkers, Technical Report TR-CTIT-09-30, CTIT, University of Twente, Enschede. (2009) (Digital version available here)