Model checking timed recursive CTL. (English) Zbl 07852929
MSC:
68Qxx
Found 211 Documents (Results 1–100)
Finite-word hyperlanguages. (English) Zbl 07798809
MSC:
68Qxx
A survey on compositional algorithms for verification and synthesis in supervisory control. (English) Zbl 1522.93014
Pspace-completeness of the temporal logic of sub-intervals and suffixes. (English) Zbl 07742414
MSC:
68Qxx
Taming strategy logic: non-recurrent fragments. (English) Zbl 07742412
MSC:
68Qxx
Cooperative concurrent games. (English) Zbl 07638284
MSC:
68Txx
Tableaux and sequent calculi for CTL and ECTL: satisfiability test with certifying proofs and models. (English) Zbl 07618127
MSC:
68-XX
Parametric interval temporal logic over infinite words. (English) Zbl 1530.68155
Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 97-113 (2022).
HyperPCTL model checking by probabilistic decomposition. (English) Zbl 1502.68189
ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 209-226 (2022).
Complexity of finite-variable fragments of propositional temporal and modal logics of computation. (English) Zbl 1540.03038
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. (English) Zbl 07471693
Branching-time logics and fairness, revisited. (English) Zbl 1498.68163
Reviewer: Giacomo Lenzi (Fisciano)
Temporal logic with recursion. (English) Zbl 1522.03045
MSC:
03B44
Proving the existence of fair paths in infinite-state systems. (English) Zbl 1472.68085
Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 104-126 (2021).
MSC:
68Q60
Finite-word hyperlanguages. (English) Zbl 07405986
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 173-186 (2021).
MSC:
68Q45
Complexity analysis of a unifying algorithm for model checking interval temporal logic. (English) Zbl 1518.68204
Calculational design of a regular model checker by abstract interpretation. (English) Zbl 1497.68294
MSC:
68Q60
Unified temporal logic. (English) Zbl 1497.68322
One-pass context-based tableaux systems for CTL and ECTL. (English) Zbl 1530.03068
Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 14, 20 p. (2020).
Temporal logic with recursion. (English) Zbl 1530.03069
Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 6, 14 p. (2020).
A CTL* model checker for Petri nets. (English) Zbl 1503.68179
Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 403-413 (2020).
Analysing spatial properties on neighbourhood spaces. (English) Zbl 07559437
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 66, 14 p. (2020).
MSC:
68Qxx
Divergence-preserving branching bisimilarity. (English) Zbl 07453959
Dardha, Ornela (ed.) et al., Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 322, 3-11 (2020).
Model-checking precision agriculture logistics: the case of the differential harvest. (English) Zbl 1456.91067
Cheap CTL compassion in NuSMV. (English) Zbl 07228510
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 248-269 (2020).
Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\). (English) Zbl 1433.03049
Automatically verifying temporal properties of pointer programs with cyclic proof. (English) Zbl 1468.68137
A temporal logic for higher-order functional programs. (English) Zbl 1539.68054
Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 437-458 (2019).
GR(1)*: GR(1) specifications extended with existential guarantees. (English) Zbl 1539.68147
ter Beek, Maurice H. (ed.) et al., Formal methods – the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11800, 83-100 (2019).
Justness. A completeness criterion for capturing liveness properties (extended abstract). (English) Zbl 1524.68223
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 505-522 (2019).
MSC:
68Q85
An automata-theoretic approach to model-checking systems and specifications over infinite data domains. (English) Zbl 1468.68128
Which fragments of the interval temporal logic HS are tractable in model checking? (English) Zbl 1429.68139
Reviewer: Martin Lange (Kassel)
Interval vs. point temporal logic model checking. An expressiveness comparison. (English) Zbl 1407.68283
(Heterogeneous) structured specifications in logics without interpolation. (English) Zbl 07908136
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 403-439 (2018).
The complexity of linear-time temporal logic model repair. (English) Zbl 1504.68081
Tian, Cong (ed.) et al., Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10795, 69-87 (2018).
On the expressive power of hybrid branching-time logics. (English) Zbl 1487.68158
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 16, 18 p. (2018).
Results on alternating-time temporal logics with linear past. (English) Zbl 1487.68155
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 6, 22 p. (2018).
Extending fairness expressibility of ECTL\(^+\): a tree-style one-pass tableau approach. (English) Zbl 1487.68154
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 5, 22 p. (2018).
Alternating nonzero automata. (English) Zbl 1520.68056
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 13, 16 p. (2018).
Timed vacuity. (English) Zbl 1460.68055
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 438-455 (2018).
Automaton-based criteria for membership in CTL. (English) Zbl 1497.68250
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 155-164 (2018).
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. (English) Zbl 1400.68121
Temporal logic and fair discrete systems. (English) Zbl 1392.68263
Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 27-73 (2018).
Introduction to model checking. (English) Zbl 1392.68242
Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1-26 (2018).
MSC:
68Q60
Equivalence between model-checking flat counter systems and Presburger arithmetic. (English) Zbl 1393.68100
Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics. (English) Zbl 1391.68077
Quirky quantifiers: optimal models and complexity of computation tree logic. (English) Zbl 1387.68136
On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking. (English) Zbl 1483.68187
Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 268-282 (2017).
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions. (English) Zbl 1483.68186
Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 31-45 (2017).
To be fair, use bundles. (English) Zbl 1420.03034
Linear templates of ACTL formulas with an application to SAT-based verification. (English) Zbl 1409.68176
Logics of repeating values on data trees and branching counter systems. (English) Zbl 1486.68119
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 196-212 (2017).
Reasoning about equilibria in game-like concurrent systems. (English) Zbl 1400.03057
Reviewer: Martin Lange (Kassel)
Cycle detection in computation tree logic. (English) Zbl 1478.68158
Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 164-177 (2016).
Model checking the logic of Allen’s relations Meets and Started-by is \(\mathbf{P}^{\mathbf{NP}}\)-complete. (English) Zbl 1478.68148
Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 76-90 (2016).
Egalitarian state-transition systems. (English) Zbl 1367.68198
Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016).
Interval temporal logic model checking: the border between good and bad HS fragments. (English) Zbl 1475.68177
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 389-405 (2016).
Mitigating covert channels based on analysis of the potential for communication. (English) Zbl 1348.68164
Axiomatization of a branching time logic with indistinguishability relations. (English) Zbl 1392.03027
MSC:
03B44
A dynamic logic with traces and coinduction. (English) Zbl 1471.03063
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 307-322 (2015).
Iterated Boolean games. (English) Zbl 1318.91012
Bounded semantics. (English) Zbl 1317.68105
Equivalence between model-checking flat counter systems and Presburger arithmetic. (English) Zbl 1393.68101
Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 85-97 (2014).
Logic and learning. (English) Zbl 1354.03015
Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 267-288 (2014).
MSC:
03B42
Branching-time logics with path relativisation. (English) Zbl 1297.68170
Reviewer: Heribert Vollmer (Hannover)
A survey on temporal logics for specifying and verifying real-time systems. (English) Zbl 1425.68258
On the boundary of behavioral strategies. (English) Zbl 1367.68290
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 263-272 (2013).
Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems. (English) Zbl 1437.68116
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 234-251 (2013).
Filter Results by …
Document Type
- Journal Articles (146)
- Collection Articles (65)
all
top 5
Author
- Bozzelli, Laura (20)
- Murano, Aniello (13)
- Peron, Adriano (13)
- Vardi, Moshe Ya’akov (11)
- Lange, Martin (10)
- Montanari, Angelo (10)
- Bolotov, Alexander (7)
- Kupferman, Orna (7)
- Mogavero, Fabio (7)
- Molinari, Alberto (7)
- Sala, Pietro (6)
- Sorrentino, Loredana (6)
- Pinchinat, Sophie (5)
- Rabinovich, Alexander (5)
- Reynolds, Mark Alexander (5)
- Wooldridge, Michael J. (5)
- Demri, Stéphane P. (4)
- Emerson, Ernest Allen (4)
- Grumberg, Orna (4)
- Hermo, Montserrat (4)
- Latte, Markus (4)
- Lucio, Paqui (4)
- Martí-Oliet, Narciso (4)
- Perelli, Giuseppe (4)
- Pnueli, Amir (4)
- Verdejo, Alberto (4)
- Bonakdarpour, Borzoo (3)
- Bruse, Florian (3)
- Clarke, Edmund Melson jun. (3)
- Fantechi, Alessandro (3)
- Gnesi, Stefania (3)
- Gutierrez, Julian (3)
- Jamroga, Wojciech (3)
- Kernberger, Daniel (3)
- Maoz, Shahar (3)
- McCabe-Dansted, John Christopher (3)
- Peled, Doron A. (3)
- Pita, Isabel (3)
- Ristori, Gioia (3)
- Rubio, Rubén (3)
- Sheinvald, Sarai (3)
- Weber, Volker (3)
- Abuin, Alex (2)
- Aguirre, Nazareno M. (2)
- Amram, Gal (2)
- Basukoski, Artie (2)
- Benerecetti, Massimo (2)
- Bouyer, Patricia (2)
- Castro, Pablo F. (2)
- Cîrstea, Corina (2)
- Cleaveland, Rance (2)
- Collins, Peter J. (2)
- Cousot, Patrick (2)
- Dam, Mads (2)
- Dhar, Amit Kumar (2)
- Dix, Jurgen (2)
- Dixon, Clare (2)
- Fontaine, Gaëlle (2)
- French, Tim (2)
- Gierasimczuk, Nina (2)
- Graf, Susanne (2)
- Halpern, Joseph Yehuda (2)
- Harrenstein, Paul (2)
- Henzinger, Thomas A. (2)
- Jonsson, Peter (2)
- Kaminski, Mark (2)
- Katz, Shmuel (2)
- Laroussinie, François (2)
- Markey, Nicolas (2)
- Mateescu, Radu (2)
- May, Wolfgang (2)
- Pistiner, Or (2)
- Sangnier, Arnaud (2)
- Smolka, Gert (2)
- van Glabbeek, Robert Jan (2)
- Venema, Yde (2)
- Zanardo, Alberto (2)
- Zapreev, Ivan S. (2)
- Zhang, Wenhui (2)
- Ábrahám, Erika (1)
- Abriola, Sergio (1)
- Acosta, Araceli (1)
- Acosta, Ignacio Bellas (1)
- Afrati, Foto N. (1)
- Amparore, Elvio Gilberto (1)
- Andronikos, Theodore (1)
- Arnold, André (1)
- Aziz, Adnan (1)
- Baader, Franz (1)
- Balarin, Felice (1)
- Barner, Sharon (1)
- Bartocci, Ezio (1)
- Bennett, Brandon (1)
- Bensalem, Saddek (1)
- Beutner, Raven (1)
- Bojańczyk, Mikołaj (1)
- Boker, Udi (1)
- Bolton, Christie (1)
- Bortolussi, Luca (1)
- Bouajjani, Ahmed (1)
- and 200 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (31)
- Inf. Comput. (24)
- Form. Methods Syst. Des. (7)
- Inf. Process. Lett. (6)
- ACM Trans. Comput. Log. (6)
- J. Log. Algebr. Methods Program. (6)
- Artif. Intell. (5)
- J. Comput. Syst. Sci. (5)
- Formal Asp. Comput. (5)
- J. Autom. Reasoning (4)
- Ann. Math. Artif. Intell. (4)
- Acta Inf. (3)
- Int. J. Found. Comput. Sci. (3)
- Discrete Event Dyn. Syst. (3)
- J. Logic Lang. Inf. (3)
- J. Appl. Log. (3)
- Log. Methods Comput. Sci. (3)
- Stud. Log. (2)
- Ann. Pure Appl. Logic (2)
- Distrib. Comput. (2)
- J. Appl. Non-Class. Log. (2)
- Int. J. Gen. Syst. (1)
- Inf. Sci. (1)
- J. Philos. Log. (1)
- J. Symb. Log. (1)
- RAIRO, Inf. Théor. (1)
- J. Comput. Sci. Technol. (1)
- Int. J. Parallel Program. (1)
- J. Exp. Theor. Artif. Intell. (1)
- Math. Struct. Comput. Sci. (1)
- RAIRO, Inform. Théor. Appl. (1)
- Bull. Symb. Log. (1)
- Theory Comput. Syst. (1)
- J. Log. Algebr. Program. (1)
- Rev. Symb. Log. (1)
- Sci. China, Inf. Sci. (1)
- Front. Comput. Sci. (1)
- Comput. Sci. Rev. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (10)
- 2022 (7)
- 2021 (9)
- 2020 (14)
- 2019 (9)
- 2018 (16)
- 2017 (8)
- 2016 (6)
- 2015 (8)
- 2014 (7)
- 2013 (4)
- 2012 (7)
- 2011 (8)
- 2010 (10)
- 2009 (6)
- 2008 (9)
- 2007 (3)
- 2006 (10)
- 2005 (8)
- 2004 (1)
- 2003 (8)
- 2002 (1)
- 2001 (2)
- 2000 (3)
- 1999 (4)
- 1997 (1)
- 1996 (5)
- 1995 (3)
- 1994 (7)
- 1993 (2)
- 1992 (4)
- 1991 (2)
- 1990 (3)
- 1989 (2)
- 1987 (1)
- 1984 (1)
all
top 3
Software
- CESAR (17)
- MCMAS (14)
- SPIN (8)
- NuSMV (7)
- Maude (6)
- Uppaal (6)
- LTSmin (5)
- MOCHA (5)
- SPOT (5)
- UNITY (5)
- GOLOG (4)
- TTM (4)
- UMDES (4)
- MCMAS-SLK (3)
- SLAM (3)
- Stratego (3)
- BLAST (2)
- CADP (2)
- CAESAR_SOLVE (2)
- CUDD (2)
- Coq (2)
- DDVerify (2)
- DPF (2)
- DiVinE (2)
- Exp.Open (2)
- HyTech (2)
- Isabelle/HOL (2)
- Java PathFinder (2)
- Kronos (2)
- LTL2BA (2)
- ORME (2)
- Rabinizer (2)
- STeP (2)
- Spartacus (2)
- Tom (2)
- TuLiP (2)
- VIS (2)
- XPath (2)
- z3 (2)
- 3APL (1)
- ABC (1)
- ABS (1)
- ACL2 (1)
- ANaConDA (1)
- AgentSpeak (1)
- AlgeraComplex (1)
- Apron (1)
- Ariadne (1)
- AutoSyn (1)
- Bandera (1)
- Bebop (1)
- CBMC (1)
- CMC (1)
- CPAchecker (1)
- CPLEX (1)
- CTL-RP (1)
- CVC4 (1)
- Cadence SMV (1)
- Chaff (1)
- ConGolog (1)
- Cyclist (1)
- DART (1)
- DCVALID (1)
- Dafny (1)
- Datalog (1)
- E-LOTOS (1)
- EAGLE (1)
- EVE (1)
- FDR3 (1)
- FaCT++ (1)
- GitHub (1)
- Goldilocks (1)
- Graphplan (1)
- HTab (1)
- ICS (1)
- IDLVALID (1)
- IMPACT (1)
- Isabelle (1)
- Jadex (1)
- Jason (1)
- Java-MOP (1)
- KARO (1)
- KLEE (1)
- KeY-ABS (1)
- LNT2LOTOS (1)
- LOIS (1)
- LOTOS (1)
- Limi (1)
- Liss (1)
- MONA (1)
- MOP (1)
- Meddly (1)
- MiniSat (1)
- Modal_Logics_for_NTS (1)
- Modechart (1)
- Moise+ (1)
- NLambda (1)
- NModel (1)
- NetworkX (1)
- Oz (1)
- and 42 more Software Packages
