Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Martin Brain
City, University of London
Verified email at city.ac.uk
Cited by 1764
verification
automated reasoning
SAT/SMT
floating-point
Predrag Janicic
Full professor of Computer Science, Faculty of Mathematics, University of Belgrade
Verified email at matf.bg.ac.rs
Cited by 1567
Automated reasoning
automated deduction in geometry
SAT/SMT
mathematical software
Fatih Turkmen
University of Groningen
Verified email at rug.nl
Cited by 777
Security
Privacy
Access Control
Medical Informatics
SAT/SMT
Ákos Hajdu
Meta / WhatsApp
Verified email at meta.com
Cited by 470
Formal methods
static analysis
automated reasoning
SAT/SMT
Cristian Mattarei
Apple Inc.
Verified email at cs.stanford.edu
Cited by 461
Model-Based Safety Assessment
Formal Verification
Formal Modeling
SAT/SMT
David Doose
ONERA
Verified email at onera.fr
Cited by 363
real-time
formal methods
SAT/SMT
Temporal Logic
Hao Wu 吴昊
Maynooth University
Verified email at cs.nuim.ie
Cited by 195
Formal Methods
SAT/SMT
Specification
Programming Languages
Model-Driven Engineering
Peter Backeman
Mälardalen University
Verified email at mdu.se
Cited by 88
Formal Modeling
AI
SAT/SMT
Automated Theorem Proving
Privacy
Terms
Help
About Scholar
Search help