Fundamenta Informaticae > 2012 > Vol. 119, nr 3/4 > 373-392
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 0169-2968 |
e-ISSN czasopisma : | 1875-8681 |
Autorzy
Słowa kluczowe
Informacje dodatkowe
Wydawca
Obszary wiedzy
Bibliografia
-
[1] P. A. Abdulla, P. Bjesse, and N. Eén. Symbolic reachability analysis based on SAT-solvers. In Proc. of the 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00), volume 1785 of LNCS, pages 411-425. Springer-Verlag, 2000.
-
[2] A. Biere, A. Cimatti, E. Clarke, O. Strichman, and Y. Zhu. Bounded model checking. In Highly Dependable Software, volume 58 of Advances in Computers. Academic Press, 2003. Pre-print.
-
[3] R. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge. Model checking multi-agent programs with CASP. In Proc. of the 15th Int. Conf. on Computer Aided Verification (CAV'03), volume 2725 of LNCS, pages 110-113. Springer-Verlag, 2003.