Παρακολούθηση
Sergey Grebenshchikov
Sergey Grebenshchikov
Technische Universität München
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα in.tum.de
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Synthesizing software verifiers from proof rules
S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko
ACM SIGPLAN Notices 47 (6), 405-416, 2012
3412012
HSF (C): A Software Verifier Based on Horn Clauses: (Competition Contribution)
S Grebenshchikov, A Gupta, NP Lopes, C Popeea, A Rybalchenko
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
912012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–2