Publications

Bounded Model Checking of Temporal Formulas with Alloy

AuthID
P-009-NJ5

Author(s)

Cunha, A

Editor(s)

Ameur, YA; Schewe, KD

Document Type

Proceedings Paper

Year published

2014

Published

in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8477, Pages: 303-308 (6)

Conference

4Th International Conference on Abstract State Machines, Alloy, B, Tla,Vdm, and Z (Abz), Date: JUN 02-06, 2014, Location: Toulouse, FRANCE, Sponsors: Airbus, CNES, CNRS, CRITT Informatique, CS, ENSEEIHT Toulouse, FME, INP Toulouse, IRIT, Midi Pyrenees Regi, ONERA, SCCH, Univ Paul Sabatier Toulouse

Indexing