


default search action
Natasha Sharygina
Person information
- affiliation: University of Lugano, Switzerland
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c99]Konstantin Britikov
, Ilia Zlatkin
, Grigory Fedyukovich
, Leonardo Alt
, Natasha Sharygina
:
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) 2024: 466-479 - [c98]Konstantin Britikov
, Martin Blicha
, Natasha Sharygina
, Grigory Fedyukovich
:
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. FM (1) 2024: 558-576 - 2023
- [j19]Rodrigo Otoni
, Matteo Marescotti
, Leonardo Alt
, Patrick Eugster
, Antti E. J. Hyvärinen, Natasha Sharygina
:
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26(2): 15:1-15:28 (2023) - [c97]Martin Blicha
, Konstantin Britikov
, Natasha Sharygina
:
The Golem Horn Solver. CAV (2) 2023: 209-223 - [c96]Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina:
CHC Model Validation with Proof Guarantees. iFM 2023: 62-81 - [c95]Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina:
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) 2023: 126-144 - [c94]Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina:
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE 2023: 1-19 - [e6]Sriram Sankaranarayanan
, Natasha Sharygina
:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2 [contents] - [e5]Sriram Sankaranarayanan
, Natasha Sharygina
:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13994, Springer 2023, ISBN 978-3-031-30819-2 [contents] - 2022
- [j18]Sepideh Asadi
, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. 60(3): 350-380 (2022) - [j17]Martin Blicha
, Antti E. J. Hyvärinen, Jan Kofron
, Natasha Sharygina
:
Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. 24(1): 111-125 (2022) - [c93]Leonardo Alt, Martin Blicha
, Antti E. J. Hyvärinen, Natasha Sharygina
:
SolCMC: Solidity Compiler's Model Checker. CAV (1) 2022: 325-338 - [c92]Martin Blicha
, Grigory Fedyukovich
, Antti E. J. Hyvärinen
, Natasha Sharygina
:
Split Transition Power Abstraction for Unbounded Safety. FMCAD 2022: 349-358 - [c91]Martin Blicha
, Grigory Fedyukovich
, Antti E. J. Hyvärinen
, Natasha Sharygina
:
Transition Power Abstractions for Deep Counterexample Detection. TACAS (1) 2022: 524-542 - [e4]Roderick Bloem, Rayna Dimitrova, Chuchu Fan
, Natasha Sharygina
:
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1 [contents] - 2021
- [c90]Rodrigo Otoni
, Martin Blicha
, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
:
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC 2021: 541-546 - [c89]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
Lookahead in Partitioning SMT. FMCAD 2021: 271-279 - 2020
- [c88]Sepideh Asadi
, Martin Blicha
, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
:
Incremental Verification by SMT-based Summary Repair. FMCAD 2020: 77-82 - [c87]Matteo Marescotti, Rodrigo Otoni
, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) 2020: 178-194 - [c86]Sepideh Asadi
, Martin Blicha
, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
Farkas-Based Tree Interpolation. SAS 2020: 357-379 - [c85]Martin Blicha
, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction. VMCAI 2020: 270-292
2010 – 2019
- 2019
- [j16]Pavel Jancík, Jan Kofron
, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
:
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55(1): 33-71 (2019) - [c84]Karine Even-Mendoza
, Antti E. J. Hyvärinen, Hana Chockler
, Natasha Sharygina
:
Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11 - [c83]Martin Blicha
, Antti E. J. Hyvärinen
, Jan Kofron
, Natasha Sharygina
:
Decomposing Farkas Interpolants. TACAS (1) 2019: 3-20 - 2018
- [c82]Matteo Marescotti, Martin Blicha
, Antti E. J. Hyvärinen, Sepideh Asadi
, Natasha Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) 2018: 450-465 - [c81]Sepideh Asadi
, Martin Blicha
, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza
, Natasha Sharygina
, Hana Chockler
:
Function Summarization Modulo Theories. LPAR 2018: 56-75 - [c80]Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
:
Lookahead-Based SMT Solving. LPAR 2018: 418-434 - [c79]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
SMTS: Distributed, Visualized Constraint Solving. LPAR 2018: 534-542 - [c78]Karine Even-Mendoza
, Sepideh Asadi
, Antti E. J. Hyvärinen, Hana Chockler
, Natasha Sharygina:
Lattice-Based Refinement in Bounded Model Checking. VSTTE 2018: 50-68 - [p9]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - 2017
- [j15]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae 150(1): 1-24 (2017) - [j14]Grigory Fedyukovich
, Ondrej Sery, Natasha Sharygina
:
Flexible SAT-based framework for incremental bounded upgrade checking. Int. J. Softw. Tools Technol. Transf. 19(5): 517-534 (2017) - [c77]Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi
, Natasha Sharygina
:
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD 2017: 39-46 - [c76]Matteo Marescotti, Arie Gurfinkel
, Antti Eero Johannes Hyvärinen, Natasha Sharygina
:
Designing parallel PDR. FMCAD 2017: 156-163 - [c75]Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina:
LRA Interpolants from No Man's Land. Haifa Verification Conference 2017: 195-210 - [c74]Antti E. J. Hyvärinen, Sepideh Asadi
, Karine Even-Mendoza
, Grigory Fedyukovich
, Hana Chockler
, Natasha Sharygina:
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c73]Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
Visualising SMT-Based Parallel Constraint Solving. SMT 2017: 40-49 - [c72]Leonardo Alt, Sepideh Asadi
, Hana Chockler
, Karine Even-Mendoza
, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Natasha Sharygina
:
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - 2016
- [c71]Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
Clause Sharing and Partitioning for Cloud-Based SMT Solving. ATVA 2016: 428-443 - [c70]Grigory Fedyukovich
, Arie Gurfinkel
, Natasha Sharygina
:
Property Directed Equivalence via Abstract Simulation. CAV (2) 2016: 433-453 - [c69]Pavel Jancík, Leonardo Alt, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Jan Kofron
, Natasha Sharygina
:
PVAIR: Partial Variable Assignment InterpolatoR. FASE 2016: 419-434 - [c68]Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
:
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT 2016: 547-553 - 2015
- [j13]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
Decision Procedures for Flat Array Properties. J. Autom. Reason. 54(4): 327-352 (2015) - [c67]Grigory Fedyukovich
, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina
:
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE 2015: 186-201 - [c66]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
A New Acceleration-Based Combination Framework for Array Properties. FroCos 2015: 169-185 - [c65]Grigory Fedyukovich
, Arie Gurfinkel
, Natasha Sharygina
:
Automated Discovery of Simulation Between Programs. LPAR 2015: 606-621 - [c64]Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
:
Flexible Interpolation for Efficient Model Checking. MEMICS 2015: 11-22 - [c63]Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
:
Search-Space Partitioning for Parallelizing SMT Solvers. SAT 2015: 369-386 - [c62]Leonardo Alt, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Natasha Sharygina
:
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE 2015: 1-18 - [p8]Hana Chockler, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina
:
Introduction. Validation of Evolving Software 2015: 3-5 - [p7]Hana Chockler
, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina
:
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p6]Hana Chockler
, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p5]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
:
Function Summarization-Based Bounded Model Checking. Validation of Evolving Software 2015: 37-53 - [p4]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
:
Incremental Upgrade Checking. Validation of Evolving Software 2015: 55-72 - [p3]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Optimizing Function Summaries Through Interpolation. Validation of Evolving Software 2015: 73-82 - [p2]Fabrizio Pastore
, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
, Stephan Sehestedt, Ali Muhammad
:
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - [e3]Hana Chockler
, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina
:
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - 2014
- [j12]Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina
, Aliaksei Tsitovich:
Resolution proof transformation for compression and interpolation. Formal Methods Syst. Des. 45(1): 1-41 (2014) - [j11]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
, Natasha Sharygina
:
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014) - [c61]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA 2014: 18-23 - [c60]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
:
A Framework for the Verification of Parameterized Infinite-State Systems. CILC 2014: 303-308 - [c59]Pavel Jancík, Jan Kofron
, Simone Fulvio Rollini, Natasha Sharygina
:
On interpolants and variable assignments. FMCAD 2014: 123-130 - [c58]Fabrizio Pastore
, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich
, Natasha Sharygina
, Stephan Sehestedt, Ali Muhammad
:
Verification-aided regression testing. ISSTA 2014: 37-48 - [c57]Grigory Fedyukovich
, Arie Gurfinkel
, Natasha Sharygina:
Incremental Verification of Compiler Optimizations. NASA Formal Methods 2014: 300-306 - [c56]Grigory Fedyukovich
, Natasha Sharygina
:
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. SBMF 2014: 96-112 - [c55]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
:
Decision Procedures for Flat Array Properties. SMT 2014: 51 - [c54]Nicolas Latorre, Francesco Alberti, Natasha Sharygina
:
Verige: verification with invariant generation engine. SPIN 2014: 121-124 - [c53]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina:
Decision Procedures for Flat Array Properties. TACAS 2014: 15-30 - [c52]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* 2014: 1-11 - 2013
- [j10]Daniel Kroening
, Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42(3): 221-261 (2013) - [c51]Arie Gurfinkel
, Simone Fulvio Rollini, Natasha Sharygina:
Interpolation Properties and SAT-Based Model Checking. ATVA 2013: 255-271 - [c50]Hana Chockler, Giovanni Denaro
, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani
, Ali Muhammad
, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina
, Michael Tautschnig:
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c49]Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
:
Interpolation-based model checking for efficient incremental analysis of software. DDECS 2013: 8-9 - [c48]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina:
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos 2013: 23-39 - [c47]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
:
Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) 2013: 1-8 - [c46]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich
, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR 2013: 683-693 - [c45]Laura Kovács
, Simone Fulvio Rollini, Natasha Sharygina:
A Parametric Interpolation Framework for First-Order Theories. MICAI (1) 2013: 24-40 - [c44]Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
:
Using cross-entropy for satisfiability. SAC 2013: 1196-1203 - [c43]Grigory Fedyukovich
, Ondrej Sery, Natasha Sharygina:
eVolCheck: Incremental Upgrade Checker for C. TACAS 2013: 292-307 - [e2]Natasha Sharygina
, Helmut Veith:
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science 8044, Springer 2013, ISBN 978-3-642-39798-1 [contents] - [i3]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs. CoRR abs/1304.4499 (2013) - [i2]Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution Proof Transformation for Compression and Interpolation. CoRR abs/1307.2028 (2013) - 2012
- [j9]Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. 14(1): 1-14 (2012) - [c42]Ondrej Sery, Grigory Fedyukovich
, Natasha Sharygina:
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. ATVA 2012: 203-207 - [c41]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
:
Reachability Modulo Theory Library. SMT@IJCAR 2012: 67-76 - [c40]Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina:
Leveraging Interpolant Strength in Model Checking. CAV 2012: 193-209 - [c39]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
, Natasha Sharygina:
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - [c38]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
:
Incremental upgrade checking by means of interpolation-based function summaries. FMCAD 2012: 114-121 - [c37]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
, Natasha Sharygina:
Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61 - [i1]Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina:
Propositional Interpolation Systems for Model Checking. CoRR abs/1212.4650 (2012) - 2011
- [j8]Chiara Braghin, Natasha Sharygina
, Katerina Barone-Adesi:
A model checking-based approach for security policy verification of mobile systems. Formal Aspects Comput. 23(5): 627-648 (2011) - [c36]Ondrej Sery, Grigory Fedyukovich
, Natasha Sharygina:
Interpolation-Based Function Summaries in Bounded Model Checking. Haifa Verification Conference 2011: 160-175 - [c35]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Function Summaries in Software Upgrade Checking. Haifa Verification Conference 2011: 257-258 - [c34]Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger
, Daniel Kroening
:
Loop Summarization and Termination Analysis. TACAS 2011: 81-95 - 2010
- [c33]Daniel Kroening, Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131 - [c32]Daniel Kroening
, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103 - [c31]Simone Rollini, Roberto Bruttomesso, Natasha Sharygina:
An Efficient and Flexible Approach to Resolution Proof Reduction. Haifa Verification Conference 2010: 182-196 - [c30]Roberto Bruttomesso, Simone Rollini, Natasha Sharygina
, Aliaksei Tsitovich:
Flexible interpolation with local proof transformations. ICCAD 2010: 770-777 - [c29]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina
:
A flexible schema for generating explanations in lazy theory propagation. MEMOCODE 2010: 41-48 - [c28]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich:
The OpenSMT Solver. TACAS 2010: 150-153 - [e1]Roderick Bloem, Natasha Sharygina:
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. IEEE 2010, ISBN 978-1-4577-0734-6 [contents]
2000 – 2009
- 2009
- [c27]Roberto Bruttomesso, Natasha Sharygina
:
A scalable decision procedure for fixed-width bit-vectors. ICCAD 2009: 13-20 - [c26]Daniel Kroening
, Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 - [c25]Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich:
The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573 - [c24]Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS 2009: 35-36 - 2008
- [j7]Sagar Chaki, Edmund M. Clarke, Natasha Sharygina
, Nishant Sinha:
Verification of evolving software via component substitutability analysis. Formal Methods Syst. Des. 32(3): 235-266 (2008) - [j6]Himanshu Jain, Daniel Kroening
, Natasha Sharygina
, Edmund M. Clarke:
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2): 366-379 (2008) - [c23]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125 - [c22]Nicolas Blanc, Daniel Kroening
, Natasha Sharygina:
Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470 - 2007
- [j5]Byron Cook, Daniel Kroening
, Natasha Sharygina
:
Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. 388(1-3): 227-242 (2007) - [c21]Daniel Kroening, Natasha Sharygina
:
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330 - [c20]Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi:
Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53 - [c19]Jonathan Aldrich
, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
:
Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610 - [c18]Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke:
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586 - [p1]