Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

JMCA - Java ModelChecking Application

fmi.uni-passau.de
Visit Site

JMCA is an Java application for formally verifying finite-state concurrent systems using temporal logic formulas (ltl formulas).

Category
Temporal Logic
Visits
197
Added
Jan 14, 2026
Rating
(65)
Rate This Site
More in Temporal Logic Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Temporal Logic in Information Systems 486 visits
Marking up Temporal Logic 450 visits
Interval Temporal Logic 380 visits
Spin 377 visits
Temporal Logic 372 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day