UPPAAL 4.0
暂无分享,去创建一个
Wang Yi | Kim G. Larsen | John Håkansson | Paul Pettersson | Gerd Behrmann | Alexandre David | Martijn Hendriks | Gerd Behrmann | Alexandre David | Kim G. Larsen | John Håkansson | Paul Pettersson | Wang Yi | Martijn Hendriks
[1] Kim G. Larsen,et al. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata , 2004, TACAS.
[2] Radia J. Perlman,et al. An algorithm for distributed computation of a spanningtree in an extended LAN , 1985, SIGCOMM '85.
[3] David L. Dill,et al. Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.
[4] B. Gebremichael-Tesfagiorgis,et al. Analysis of a Protocol for Dynamic Configuration of IPv4 Link Local Addresses Using Uppaal , 2006 .
[5] Martijn Hendriks,et al. Model Checking the Time to Reach Agreement , 2005, FORMATS.
[6] Kim G. Larsen,et al. Model Checking Timed Automata with Priorities Using DBM Subtraction , 2006, FORMATS.
[7] Gerd Behrmann,et al. Adding Symmetry Reduction to Uppaal , 2003, FORMATS.