Вы здесь

Главная

model checking

Связанные издания:

25 Years of Model Checking: History, Achievements, Perspectives
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
A Checker for Modal Formulae for Processes with Data
Adapting an AI Planning Heuristic for Directed Model Checking
A decision procedure for propositional projection tempotal logic with infinite models
Affine Model Checking Multi-agent Sliding Window Protocol
Algebra and Coalgebra in Computer Science: Proc./5th International Conference, CALCO 2013, Warsaw, Poland, September 2013
Algebraic and Numeric Biology: Revised Selected Papers/4th International Conference, ANB 2010, Hagenberg, Austria, July 2010
Algorithmic Aspects in Information and Management: Proc./12th International Conference, AAIM 2018, Dallas,TX,USA, December 2018
A Multi-Agent Framework Based on Communication and Concurrency
Analytical and Stochastic Modeling Techniques and Applications: Proc./16th International Conference, ASMTA 2009. Madrid, Spain, June 2009
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
Applicability of the BLAST Model Checker: An Industrial Case Study
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols
Applications and Theory of Petri Nets and Concurrency: Proc./34th International Conference, PETRI NETS 2013, Milan, Spain, June 2013
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Applications and Theory of Petri Nets: Proc./32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 2011
Assurances for Self-Adaptive Systems. Principles, Models, and Techniques
A Symbolic State Space Representation
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Automata-Theoretic Model Cheking Revisited
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Automated Technology for Verification and Analysis: Proc./11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 2013
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009
Automated Technology for Verification and Analysis: Proc./9th International Symposium, ATVA 2011, Taipei, Taiwan, October 2011
Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004
Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005
Automatized Verification of Ad Hoc Routing Protocols
Bounded Model Checking for Weak Alternating Buechi Automata
Bounded Model Checking in Software Using SMT Solvers Instead of SAT Solvers