On the numerical verification of probabilistic rewriting systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Theoretical Computer Science
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Journal of Automated Reasoning
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic Analysis of Wireless Systems Using Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Verification of expectation properties for discrete random variables in HOL
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Statistical model checking: an overview
RV'10 Proceedings of the First international conference on Runtime verification
Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems
Time for statistical model checking of real-time systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
PVESTA: a parallel statistical model checking and quantitative analysis tool
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Formalization of finite-state discrete-time Markov chains in HOL
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Formal probabilistic analysis: a higher-order logic based approach
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
HASL: an expressive language for statistical verification of stochastic models
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Steady-state property verification: a comparison study
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Coupling and importance sampling for statistical model checking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A platform for high performance statistical model checking --- PLASMA
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Checking and distributing statistical model checking
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Cross-entropy optimisation of importance sampling parameters for statistical model checking
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
A probabilistic framework for object-oriented modeling and analysis of distributed systems
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
MULE-Based wireless sensor networks: probabilistic modeling and quantitative analysis
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Modelling and analyzing adaptive self-assembly strategies with maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Automated reliability estimation over partial systematic explorations
Proceedings of the 2013 International Conference on Software Engineering
Formal reasoning about classified markov chains in HOL
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |
We give a brief overview of a statistical model-checking and analysis tool VESTA.