Профили

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University

Верификована је имејл адреса на cs.cmu.edu

90959 пута наведен

Formal methods Model Checking

Zhen Zhang

Assistant Professor, Utah State University

Верификована је имејл адреса на usu.edu

42920 пута наведен

Formal Verification Stochastic Model Checking Model Checking Cyber-Physical Systems Synthetic Biology

Orna Grumberg

Professor of Computer Science, Technion

Верификована је имејл адреса на cs.technion.ac.il

33536 пута наведен

Formal verification model checking

Lijun Zhang

Institute of Software, Chinese Academy of Sciences

Верификована је имејл адреса на ios.ac.cn

31133 пута наведен

probabilistic theory model checking trustworthy AI

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …

Верификована је имејл адреса на cs.rwth-aachen.de

30431 пута наведен

formal methods model checking concurrency theory probabilistic programming program verification

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Верификована је имејл адреса на cs.biu.ac.il

27747 пута наведен

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Armin Biere

Professor of Computer Science, University of Freiburg

Верификована је имејл адреса на informatik.uni-freiburg.de

25980 пута наведен

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Alessandro Cimatti

Fondazione Bruno Kessler

Верификована је имејл адреса на fbk.eu

25219 пута наведен

Formal Verification Model Checking SMT Automated Planning FDIR

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago

Верификована је имејл адреса на uic.edu

18898 пута наведен

Formal Methods Model checking Verification of Concurrent Systems Security Database Systems

Rupak Majumdar

MPI for Software Systems

Верификована је имејл адреса на mpi-sws.org

18733 пута наведен

verification model checking automated reasoning

1 - 10