I am trying to open .lps file in jtextarea but this file format may be not supported by textarea. the output strings are not read able.
this file is output of .mcrl2 file you can check the further details at
http://www.mcrl2.org/release/user_manual/index.html
Suggest some way to open .lps file in jTextarea my OS is Windows . Thanks in Advance.