Item talk:Q168158

{

 "OpenAlex": {
   "cited_by_count": 1163632,
   "created_date": "2024-01-23",
   "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 logic, hybrid systems, automata, safety verification, control barrier functions, runtime verification, and probabilistic systems.",
   "display_name": "Formal Methods in Software Verification and Control",
   "domain": {
     "id": "https://openalex.org/domains/3",
     "display_name": "Physical Sciences"
   },
   "field": {
     "id": "https://openalex.org/fields/17",
     "display_name": "Computer Science"
   },
   "id": "https://openalex.org/T10142",
   "ids": {
     "openalex": "https://openalex.org/T10142",
     "wikipedia": "https://en.wikipedia.org/wiki/Formal_methods"
   },
   "keywords": [
     "Model Checking",
     "Symbolic Model Checker",
     "Satisfiability Modulo Theories",
     "Temporal Logic",
     "Hybrid Systems",
     "Automata",
     "Safety Verification",
     "Control Barrier Functions",
     "Runtime Verification",
     "Probabilistic Systems"
   ],
   "siblings": [
     {
       "id": "https://openalex.org/T12794",
       "display_name": "Adaptive Dynamic Programming for Optimal Control"
     },
     {
       "id": "https://openalex.org/T11567",
       "display_name": "Automata Theory and Formal Languages"
     },
     {
       "id": "https://openalex.org/T10720",
       "display_name": "Combinatorial Optimization and Complexity Theory"
     },
     {
       "id": "https://openalex.org/T12469",
       "display_name": "Complexity Theory and Emergent Systems"
     },
     {
       "id": "https://openalex.org/T12002",
       "display_name": "Computational Complexity and Algorithmic Information Theory"
     },
     {
       "id": "https://openalex.org/T12809",
       "display_name": "Computational Contact Mechanics and Variational Inequalities"
     },
     {
       "id": "https://openalex.org/T10211",
       "display_name": "Computational Methods in Drug Discovery"
     },
     {
       "id": "https://openalex.org/T13182",
       "display_name": "Design and Simulation of Quantum-dot Cellular Automata"
     },
     {
       "id": "https://openalex.org/T11697",
       "display_name": "Floating-Point Arithmetic in Scientific Computation"
     },
     {
       "id": "https://openalex.org/T11727",
       "display_name": "Fuzzy Logic and Residuated Lattices"
     },
     {
       "id": "https://openalex.org/T12541",
       "display_name": "Graph Labeling and Dimension Problems"
     },
     {
       "id": "https://openalex.org/T10374",
       "display_name": "Graph Theory and Algorithms"
     },
     {
       "id": "https://openalex.org/T10545",
       "display_name": "Iterative Algorithms for Nonlinear Operators and Optimization"
     },
     {
       "id": "https://openalex.org/T13523",
       "display_name": "Mathematical Information Retrieval and Search"
     },
     {
       "id": "https://openalex.org/T10792",
       "display_name": "Matrix Algorithms and Iterative Methods"
     },
     {
       "id": "https://openalex.org/T13286",
       "display_name": "Modelica Language and Simulation Environment"
     },
     {
       "id": "https://openalex.org/T11125",
       "display_name": "Modeling and Control of Petri Nets in Systems"
     },
     {
       "id": "https://openalex.org/T10848",
       "display_name": "Multiobjective Optimization in Evolutionary Algorithms"
     },
     {
       "id": "https://openalex.org/T12100",
       "display_name": "Multiscale Methods for Heterogeneous Systems"
     },
     {
       "id": "https://openalex.org/T11063",
       "display_name": "Rough Sets Theory and Applications"
     },
     {
       "id": "https://openalex.org/T11435",
       "display_name": "Symbolic Computing in Algebraic Geometry and Cryptography"
     },
     {
       "id": "https://openalex.org/T12162",
       "display_name": "Theory and Applications of Cellular Automata"
     },
     {
       "id": "https://openalex.org/T12536",
       "display_name": "Topological Data Analysis in Science and Engineering"
     }
   ],
   "subfield": {
     "id": "https://openalex.org/subfields/1703",
     "display_name": "Computational Theory and Mathematics"
   },
   "updated_date": "2024-08-19T06:11:00.514327",
   "works_count": 65775,
   "oa_id": "T10142"
 }

}