共 50 条
- [31] Synthesis of Infinite-State Systems with Random Behavior 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 250 - 261
- [33] Numerical solution methods for Markov chains - The state of the art ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 11 - 13
- [34] Selfless Interpolation for Infinite-State Model Checking VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 495 - 515
- [35] Automated Analysis of Probabilistic Infinite-state Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 85 - +
- [37] Model checking of infinite state space Markov chains by stochastic bounds ANALYTICAL AND STOCHASTIC MODELING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5055 : 264 - +
- [38] A verification methodology for infinite-state message passing systems FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 255 - 264
- [39] Optimal Strategies in Infinite-state Stochastic Reachability Games ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (54): : 60 - 73
- [40] Parameterized verification of infinite-state processes with global conditions COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 145 - +