✦ LIBER ✦

Parallel Model Checking for LTL, CTL∗, and L2μ

✍ Scribed by Martin Leucker; Rafal Somla; Michael Weber

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combining search space partition and abs

✍ Fei Pu; WenHui Zhang 📂 Article 📅 2007 🏛 Science in China Press (SCP) 🌐 English ⚖ 292 KB

Comparing Under and Over-Approximations

✍ María del Mar Gallardo; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

Analyzing LTL Model Checking Techniques

✍ Sylvain Kerjean; Froduald Kabanza; Richard St-Denis; Sylvie Thiébaux 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 247 KB

Seven at one stroke: LTL model checking

✍ Daniel Plagge; Michael Leuschel 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 405 KB

Synthesis and characterization of the as

✍ Michael Müller; Thomas Weyhermüller; Eckhard Bill; K. Wieghardt 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 383 KB

Dinuclear Manganese(II,III,IV) Model Com

✍ Prof. Dr. Karl Wieghardt; Ursula Bossek; Jacques Bonvoisin; P. Beauvillain; Dr. 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 232 KB 👁 2 views