logo
Model checking

نتایج کنفرانس‌ها (12)

International Conference on Software Engineering Advances (ICSEA)

Rank: COffline
Lisbon, Portugal
Sep 28, 2025 - Oct 2, 2025
Software Engineering AdvancesAgile software developmentMachine learning-oriented software+254 بیشتر

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 بیشتر

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 بیشتر

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Rank: AOffline
Turin, Italy
Apr 11, 2026 - Apr 16, 2026
specification and verification techniquessoftware and hardware verificationanalytical techniques for real-time+16 بیشتر

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 بیشتر

IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Model-driven developmentModel checkingSAT/SMT solvers for software analysis and testing+60 بیشتر

Annual Conference on Computer Science Logic (CSL)

Rank: BOffline
Paris, France
Feb 23, 2026 - Feb 28, 2026
automated deduction and interactive theorem provingconcurrency and distributed computationconstructive mathematics and type theory+27 بیشتر

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Limassol, Cyprus
Jul 14, 2025 - Jul 16, 2025
Software product linesRequirements engineeringComponent-based software engineering+39 بیشتر

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 بیشتر

International Symposium on Software Engineering: Theories, Tools, and Applications (SETTA)

Rank: National:ChinaOffline
St Catherine's College, University of Oxford, Oxford, United Kingdom
Dec 1, 2025 - Dec 3, 2025
Dependable Software EngineeringRequirements specification and analysisFormalisms for modeling+30 بیشتر

International Conference on the Application and Theory of Petri Nets and Concurrency (Petri Nets)

Rank: BOffline
Paris-Aubervilliers, France
Jun 25, 2025 - Jun 27, 2025
Petri NetsConcurrencySystem Design+36 بیشتر

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 بیشتر