×

Found 59 Documents (Results 1–59)

Verification of multi-agent properties in electronic voting: a case study. (English) Zbl 07668114

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 531-555 (2022).
PDFBibTeX XMLCite
Full Text: arXiv

25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. (English) Zbl 1402.68016

LIPIcs – Leibniz International Proceedings in Informatics 120. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-089-7). xiii, 23 articles, not consecutively paged, electronic only, open access (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Towards quantitative verification of reaction systems. (English) Zbl 1476.68092

Amos, Martyn (ed.) et al., Unconventional computation and natural computation. 15th international conference, UCNC 2016, Manchester, UK, July 11–15, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9726, 142-154 (2016).
MSC:  68Q07 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Applying timed automata to model checking of security protocols. (English) Zbl 1304.68129

Wang, Jiacun (ed.), Handbook of finite state based models and applications. Boca Raton, FL: CRC Press (ISBN 978-1-4398-4618-6/hbk; 978-1-4398-4619-3/ebook). Discrete Mathematics and its Applications, 223-254 (2013).
PDFBibTeX XMLCite

Using integer time steps for checking branching time properties of time Petri nets. (English) Zbl 1395.68197

Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VIII. Berlin: Springer (ISBN 978-3-642-40464-1/pbk). Lecture Notes in Computer Science 8100. Journal Subline, 89-105 (2013).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Specification and verification of multi-agent systems. (English) Zbl 1250.68190

Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 210-263 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Symbolic model checking for temporal-epistemic logic. (English) Zbl 1356.68144

Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 172-195 (2012).
MSC:  68Q60 03B42 03B44
PDFBibTeX XMLCite
Full Text: DOI

Parametric model checking with VerICS. (English) Zbl 1312.68134

Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency IV. Berlin: Springer (ISBN 978-3-642-18221-1/pbk). Lecture Notes in Computer Science 6550. Journal Subline, 98-120 (2010).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

SAT-based (parametric) reachability for a class of distributed time Petri nets. (English) Zbl 1312.68137

Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency IV. Berlin: Springer (ISBN 978-3-642-18221-1/pbk). Lecture Notes in Computer Science 6550. Journal Subline, 72-97 (2010).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Towards checking parametric reachability for UML state machines. (English) Zbl 1274.68199

Pnueli, Amir (ed.) et al., Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15–19, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11485-4/pbk). Lecture Notes in Computer Science 5947, 319-330 (2010).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Towards partial order reduction for model checking temporal epistemic logic. (English) Zbl 1226.68043

Peled, Doron A. (ed.) et al., Model checking and artificial intelligence. 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-00430-8/pbk). Lecture Notes in Computer Science 5348. Lecture Notes in Artificial Intelligence, 106-121 (2009).
PDFBibTeX XMLCite
Full Text: DOI

SAT-based verification of security protocols via translation to networks of automata. (English) Zbl 1196.68140

Edelkamp, Stefan (ed.) et al., Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-74127-5/pbk). Lecture Notes in Computer Science 4428. Lecture Notes in Artificial Intelligence, 146-165 (2007).
MSC:  68Q60 68M12 94A62
PDFBibTeX XMLCite
Full Text: DOI

Advances in verification of time Petri nets and timed automata. A temporal logic approach. (English) Zbl 1110.68087

Studies in Computational Intelligence 20. Berlin: Springer (ISBN 3-540-32869-6/hbk). xxxii, 257 p. (2006).
PDFBibTeX XMLCite
Full Text: DOI

Bounded model checking for deontic interpreted systems. (English) Zbl 1272.68279

van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 93-114 (2005).
MSC:  68Q60 68T27 68T42
PDFBibTeX XMLCite
Full Text: Link

Towards efficient partition refinement for checking reachability in timed automata. (English) Zbl 1099.68649

Larsen, Kim G. (ed.) et al., Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6–7, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21671-5/pbk). Lecture Notes in Computer Science 2791, 2-17 (2004).
MSC:  68Q45 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Specification and model checking of temporal properties in time Petri nets and timed automata. (English) Zbl 1094.68067

Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 37-76 (2004).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Model checking for multi-valued computation tree logics. (English) Zbl 1049.03026

Fitting, Melvin (ed.) et al., Beyond two: Theory and applications of multiple-valued logic. Heidelberg: Physica-Verlag (ISBN 3-7908-1541-1/pbk). Stud. Fuzziness Soft Comput. 114, 193-210 (2003).
MSC:  03B70 68Q60
PDFBibTeX XMLCite

\(\surd\)erics: A tool for verifying timed automata and Estelle specifications. (English) Zbl 1031.68546

Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 278-283 (2003).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

Towards bounded model checking for the universal fragment of TCTL. (English) Zbl 1278.68192

Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 265-288 (2002).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Efficient model checking of causal-knowledge protocols. (English) Zbl 1053.68698

Dunin-Kȩplicz, Barbara (ed.) et al., From theory to practice in multi-agent systems. 2nd international workshop of central and eastern Europe, CEEMAS 2001 Cracow, Poland, September 26-29, 2001. Revised Papers. Berlin: Springer (ISBN 3-540-43370-8). Lect. Notes Comput. Sci. 2296, 242-252 (2002).
MSC:  68T30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Reducing model checking from multi-valued \(\text{CTL}^{\ast}\) to \(\text{CTL}^{\ast}\). (English) Zbl 1012.68132

Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 226-239 (2002).
PDFBibTeX XMLCite
Full Text: Link

Towards formal specification and verification in cyberspace. (English) Zbl 0988.68564

Rash, James L. (ed.) et al., Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 1871, 16-32 (2001).
PDFBibTeX XMLCite

Abstractions and partial order reductions for checking branching properties of time Petri nets. (English) Zbl 0986.68096

Colom, José-Manuel (ed.) et al., Applications and theory of Petri nets 2001. 22nd international conference, ICATPN 2001, Newcastle upon Tyne, GB, June 25-29, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2075, 323-342 (2001).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: Link

A complete axiomatization of a first-order temporal logic over trace systems. (English) Zbl 0883.68089

Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 79-97 (1997).
PDFBibTeX XMLCite

A temporal logic for event structures. (English) Zbl 0789.03030

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 327-338 (1990).
MSC:  03B70 03B45 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software