Muhammad Atif Chattha

icon indicating a website link http://sites.google.com/site/matifch

icon company Lahore Garrison University icon location Lahore, Pakistan icon location Full Professor at Computer Science Department, Lahore Garrison University, Sector C DHA Phase 6, Lahore, Pakistan.

Results 3 issues of Muhammad Atif Chattha

ltsview generates OpenGL error: 1282 on Ubuntu

1 comment

While exporting an output of the tool "ltsview" as a bitmap over Ubuntu, I'm facing OpenGL error: 1282. Versions are: mcrl22lps mCRL2 toolset 202206.0 (Release) Ubuntu 20.04.4 LTS Another issue...

lpsconfcheck related problem

6 comment

The following two specifications give same LPS (seen using lpsxsim) but the first one has 1 summand confluent while the other has not. Specification-1 ``` act a,c; proc P1=a; P2=c;...

Use the lts library for counter-examples in ltscompare

2 comment

A trc file generated by ltscompare cannot be opened in lpsxsim.

enhancement