Romeo Model Checker

Summary

Romeo Model Checker is a software^[1].

Key Facts

• Romeo Model Checker's instance of is recorded as software^[2].
• Romeo Model Checker's instance of is recorded as Petri net editor^[3].
• Romeo Model Checker's copyright license is recorded as CeCILL^[4].
• Romeo Model Checker's programmed in is recorded as Q2407^[5].
• Romeo Model Checker's programmed in is recorded as Tcl^[6].
• Romeo Model Checker's operating system is recorded as Linux^[7].
• Romeo Model Checker's operating system is recorded as Microsoft Windows^[8].
• Romeo Model Checker's operating system is recorded as macOS^[9].
• Romeo Model Checker's software version identifier is recorded as 3.6.0^[10].
• Romeo Model Checker's has use is recorded as model checking^[11].
• Romeo Model Checker's Freebase ID is recorded as /m/0dlky3d^[12].
• Romeo Model Checker's official website is recorded as http://romeo.rts-software.org/^[13].
• Romeo Model Checker's readable file format is recorded as TPN^[14].
• Romeo Model Checker's writable file format is recorded as TPN^[15].
• Romeo Model Checker's writable file format is recorded as Q218170^[16].
• Romeo Model Checker's writable file format is recorded as PGF/TikZ^[17].
• Romeo Model Checker's GUI toolkit or framework is recorded as Tk^[18].
• Romeo Model Checker's copyright status is recorded as copyrighted^[19].