logo
model checking

컨퍼런스 결과 (9)

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
Systems theory and computational modelsSystem specification and verificationFormal testing and quality assurance+52 더 보기

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 더 보기

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 11, 2026 - Jan 17, 2026
program verificationmodel checkingabstract interpretation+23 더 보기

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026 - Sep 4, 2026
Semanticsprocess algebrasPetri nets+23 더 보기

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
design and implementationModel checkingtheorem proving+30 더 보기

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

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Requirements analysis and specificationModel-driven developmentModel checking+60 더 보기

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Tsukuba, Japan
May 26, 2026 - May 28, 2026
program refinementstheorem proversSAT/SMT solvers+7 더 보기

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 더 보기

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 더 보기