المؤلفون: Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/8436/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/af77f4ffff944dc5b9b4fa94be3184e8Test

المؤلفون: Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani

المصدر: Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)

مصطلحات موضوعية: computer science - logic in computer science, f.4.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/1033/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/b7b60ed5204442f3ac07d06603df91e2Test

المؤلفون: Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta

المساهمون: Goyal, Srajan, Griggio, Alberto, Kimblad, Jacob, Tonetta, Stefano

العلاقة: ispartofbook:Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023); Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023); volume:395; firstpage:113; lastpage:129; numberofpages:17; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11582/344588Test; https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2023.8Test

الإتاحة: https://doi.org/10.4204/eptcs.395.8Test
https://hdl.handle.net/11582/344588Test
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2023.8Test

المؤلفون: Alberto Bombardelli, Alberto Bonizzi, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta, Gianni Zampedri

المساهمون: Bombardelli, Alberto, Bonizzi, Alberto, Bozzano, Marco, Cavada, Roberto, Cimatti, Alessandro, Griggio, Alberto, Nazaria, Massimo, Nicolodi, Edoardo, Tonetta, Stefano, Zampedri, Gianni

العلاقة: volume:44; issue:1; firstpage:75; lastpage:78; numberofpages:4; journal:ADA USER JOURNAL; https://hdl.handle.net/11582/340790Test

الإتاحة: https://hdl.handle.net/11582/340790Test

المؤلفون: Alessandro Cimatti, Alberto Griggio, Gianluca Redondi

المساهمون: Cimatti, Alessandro, Griggio, Alberto, Redondi, Gianluca

مصطلحات موضوعية: Computer Science - Logic in Computer Science

العلاقة: ispartofbook:Dafny 2024; POPL 2024; https://hdl.handle.net/11572/406949Test; http://arxiv.org/abs/2403.00087v1Test

الإتاحة: https://hdl.handle.net/11572/406949Test
http://arxiv.org/abs/2403.00087v1Test

المؤلفون: Lukas Koenig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kueperkoch, Dennis Fassbender, Michael Hanselmann

المساهمون: Koenig, Luka, Heinzemann, Christian, Griggio, Alberto, Klauck, Michaela, Cimatti, Alessandro, Henze, Franziska, Tonetta, Stefano, Kueperkoch, Stefan, Fassbender, Denni, Hanselmann, Michael

العلاقة: ispartofbook:30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings, Part II; 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024; volume:14571; firstpage:44; lastpage:65; numberofpages:22; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11582/344589Test; https://link.springer.com/chapter/10.1007/978-3-031-57249-4_3Test

الإتاحة: https://doi.org/10.1007/978-3-031-57249-4_3Test
https://hdl.handle.net/11582/344589Test

المؤلفون: Alberto Bombardelli, Alberto Bonizzi, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Edoardo Nicolodi, Stefano Tonetta, Gianni Zampedri

المساهمون: Bombardelli, Alberto, Bonizzi, Alberto, Bozzano, Marco, Cavada, Roberto, Cimatti, Alessandro, Griggio, Alberto, Nicolodi, Edoardo, Tonetta, Stefano, Zampedri, Gianni

وصف الملف: ELETTRONICO

العلاقة: volume:16; issue:2; firstpage:169; lastpage:181; numberofpages:13; journal:CEAS SPACE JOURNAL; https://hdl.handle.net/11582/340768Test; https://link.springer.com/article/10.1007/s12567-023-00519-7Test

الإتاحة: https://doi.org/10.1007/s12567-023-00519-7Test
https://hdl.handle.net/11582/340768Test

المؤلفون: Alberto Griggio, Marco Roveri, Stefano Tonetta, Griggio, Alberto

المساهمون: Alberto, Griggio, Roveri, Marco, Stefano, Tonetta, Griggio, Alberto

مصطلحات موضوعية: Certifying model checking · Linear-time temporal logic · LTL · Invariant · checking · Liveness · Deductive proofs

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000665834600001; volume:2021/57; firstpage:178; lastpage:210; numberofpages:33; journal:FORMAL METHODS IN SYSTEM DESIGN; http://hdl.handle.net/11572/311268Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85108666369; https://link.springer.com/article/10.1007/s10703-021-00369-1Test

الإتاحة: https://doi.org/10.1007/s10703-021-00369-1Test
http://hdl.handle.net/11572/311268Test

المؤلفون: Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonáš, Greg Kimberly, Marco Bozzano

العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/79237Test

الإتاحة: https://doi.org/10.1007/978-3-030-81688-9_10Test
https://www.openaccessrepository.it/record/79237Test

المؤلفون: Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta

العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/31432Test

الإتاحة: https://doi.org/10.1007/978-3-030-45190-5_9Test
https://www.openaccessrepository.it/record/31432Test