Formal Methods in Verification
Topics
Description: This cluster of papers revolves around formal methods in software verification and control, focusing on topics such as model checking, symbolic model checking, satisfiability modulo theories, temporal... more
Related topics (siblings) Adaptive Dynamic Programming Control, Advanced Algebra and Logic, Advanced Graph Theory Research, Advanced Mathematical Modeling in Engineering, Advanced Multi-Objective Optimization Algorithms +18 more
Subfield (parent): Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Works count: 66,670
Citations count: 1,194,000