News

Best paper award at PN'25

2025-06-27 - (1 min read) We are very glad that our SMC engine for statistical model checking of stochastic timed-arc Petri nets received the best paper award at the 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025). The paper can be obtained from https://link.springer.com/chapter/10.1007/978-3-031-94634-9_9

---

TAPAAL Defends Three Gold Medals at MCC'25

2025-06-26 - (1 min read) We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL defended the gold medals in the Reachability, LTL and CTL categories. Moreover, we also received the 100% confidence badge, first time ever since the pariticpation of TAPAAL in MCC. We thank to all developers who contributed to the success of our tool at this year competition. The detailed results can be found here: https://mcc.lip6.fr/results.php. ... (Read more)

---

TAPAAL 4.0.0

2025-06-25 - (1 min read) We are happy to announce a majour new release of TAPAAL 4.0.0 that contains Support for colored net editing, verification and unfolding/simulation Support for stochastic timed-arc Petri nets and statistical model checking (SMC) Support for verification of LTL and HyperLTL queries New search feature for locating places/transitions by their names, also in the query dialog Redisigned batch processing dialog and support for passing engine options directly in the command line Numerous GUI improvements (e. ... (Read more)

---

TAPAAL gets back 3 gold medals at MCC'24

2024-08-06 - (1 min read) We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL defended the gold medal in the CTL category and more over took back two additional gold medals in the LTL category as well as the most prestigius reachability category. Moreover, we also won two silver medals in upper-bounds and in global properties. We thank to all developers who contributed to the success of our tool at this year competition. ... (Read more)

---

TAPAAL wins a gold medal at MCC'23

2023-05-10 - (1 min read) We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won a gold medal in the CTL model checking] category and was awareded four silver medals in the other categories (except for state-space exploration where we do not participate). The detailed results can be found here: https://mcc.lip6.fr/2023/results.php.

---

TAPAAL 3.9.5

2023-02-24 - (1 min read) We are happy to announce the release of TAPAAL 3.9.5 that contains a bug fix for zooming when changing tabs fixes issues with boundeness check and with running some of the example nets, and distributed an updated verifytapn (continuous time) verification engine.

---

TAPAAL 3.9.4

2023-01-24 - (1 min read) We are happy to announce the release of TAPAAL 3.9.4 that contains a bug fix for conclusive/inconclusive reporting verification answers for CTL and LTL model checking, and an updated untimed engine verifypn which fixes the reporting of verification statistics.

---

TAPAAL 3.9.3

2022-10-24 - (1 min read) We are happy to announce the release of TAPAAL 3.9.3 that contains numerous bug fixes including passing of inclusion places to the continuous engine, fixes to the query dialog, copying of elements with environmental transitions, remebering of the last open file location, trace generation for LTL queries. an updated untimed engine verifypn which fixes trace generation issues when structural reduction rules are applied.

---

TAPAAL won 3 gold medals at MCC'22

2022-06-22 - (1 min read) We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won three gold medals in CTL and LTL model checking and we regained the gold medal also in the reachability category this year. Moreover, we won two silver medals in upper-bounds and in global properties. The detailed results can be found here: https://mcc.lip6.fr/results.php.

---

TAPAAL 3.9.2

2022-01-31 - (1 min read) We are happy to announce the release of TAPAAL 3.9.2 that contains numerous bug fixes in transition highlighting, simulator and over/under-approximation.

---

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• >